{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Kanerva's Table 7.3 (page 70)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "import sdm as sdmlib\n",
    "from sdm import utils\n",
    "import os\n",
    "import matplotlib.pyplot as plt\n",
    "from IPython.display import clear_output\n",
    "import time\n",
    "%matplotlib inline"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [],
   "source": [
    "def run(bits, radius, max_iter=1, sample=1000000):\n",
    "    scanner_type = sdmlib.SDM_SCANNER_OPENCL\n",
    "\n",
    "    address_space = sdmlib.AddressSpace.init_random(bits, sample)\n",
    "    counter = sdmlib.Counter.init_zero(bits, sample)\n",
    "    #counter = sdmlib.Counter.create_file('TO-BE-DELETED', bits, sample)\n",
    "    sdm = sdmlib.SDM(address_space, counter, radius, scanner_type)\n",
    "\n",
    "    for i in range(100):\n",
    "        if i%50 == 0:\n",
    "            clear_output(wait=True)\n",
    "            print 'Writing 10,000 random bitstrings... {}'.format(i)\n",
    "        bs = sdmlib.Bitstring.init_random(bits)\n",
    "        sdm.write(bs, bs)\n",
    "\n",
    "    b = sdmlib.Bitstring.init_random(bits)\n",
    "    sdm.write(b, b)\n",
    "\n",
    "    distances = []\n",
    "    x = range(0, bits+1)\n",
    "    t0 = time.time()\n",
    "    for i, dist in enumerate(x):\n",
    "        clear_output(wait=True)\n",
    "        print 'Distance: {:4d} ({:.2f}%)'.format(dist, 100.*(i+1)/len(x))\n",
    "        c = sdmlib.Bitstring.init_from_bitstring(b)\n",
    "        c.flip_random_bits(dist)\n",
    "        assert c.distance_to(b) == dist\n",
    "        d = sdm.iter_read(c, max_iter=max_iter)\n",
    "        distances.append(d.distance_to(b))\n",
    "    t1 = time.time()\n",
    "    print 'Done! {:.2f} seconds'.format(t1-t0)\n",
    "    \n",
    "    return distances"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {},
   "outputs": [],
   "source": [
    "data = []"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Distance:  256 (100.00%)\n",
      "Done! 6.78 seconds\n",
      "CPU times: user 2.89 s, sys: 2.09 s, total: 4.98 s\n",
      "Wall time: 8.96 s\n"
     ]
    }
   ],
   "source": [
    "max_iter = 15\n",
    "sample = 1000000\n",
    "\n",
    "for bits in [256]:\n",
    "    radius = utils.calculate_radius(bits)\n",
    "    print 'Radius: ', radius\n",
    "    %time distances = run(bits, radius, max_iter=max_iter, sample=sample)\n",
    "    distances = [(1.0*x)/bits for x in distances]\n",
    "    x = [1.0*x/bits for x in range(len(distances))]\n",
    "    data.append((bits, x, distances))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAx4AAAIaCAYAAACu3JucAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAAPYQAAD2EBqD+naQAAADl0RVh0U29mdHdhcmUAbWF0cGxvdGxpYiB2ZXJzaW9uIDIuMS4yLCBodHRwOi8vbWF0cGxvdGxpYi5vcmcvNQv5yAAAIABJREFUeJzs3Xd8FNX+//HXJyEEEnoRBEXFXn7SFEUvKhfRa29XkaqoIGLv/asiFqygAgoivYnlelFUEBRE8ApBsIOFKr2G9E32/P6YXVhCElKZJPt+Ph48yM6cmfnsDmU+ez7nHHPOISIiIiIiUpZi/A5AREREREQqPyUeIiIiIiJS5pR4iIiIiIhImVPiISIiIiIiZU6Jh4iIiIiIlDklHiIiIiIiUuaUeIiIiIiISJlT4iEiIiIiImVOiYeIiIiIiJQ5JR4iIlHKzMab2R9+xyEiItFBiYeI+MLMrjczZ2an5Npe28y+M7MMM/uXX/H5wcy+MrPRpXCew0OfbV6/vi2FUMsFM1tbwPv8tRDHP2Zm35rZltCft+Vm9oqZNTgQ8YuIRJsqfgcgIhJmZrWAGcDJwBXOuc98DqmimwRMz7Vtc8TPvQA7cOGUutuBxFzbmgNP4f052p9TgO+ByUAKcDzQG7jQzFo559JLMVYRkainxENEygUzqwl8DrQErnTOfepzSPkyswTnXJrfcRTCYufc+Px2OucCBzKYMDOLK43rO+c+zOPcT4Z+nFCI4y/P4/jv8BKRi4D3ShKfiIjsTaVWIuI7M6sBfAa0Bq5yzn2Sa//JZjbazP4KlcRsMLN3zKx+rnZPhspsjgq132FmO81slJkl5HHd7maWZGbpZrbNzCab2aG52nxlZj+ZWRszm2tmacCzZvaxmf2Vz/tZYGaLIl73MrPZZrbJzDLN7Bczu6WQn83tZvazmaWZ2XYzW2RmXQtzbCHOvc8YDzNrYGYTzCw5dL1RZtY69Ll2j2g3z8y+2N85Q/fCmdndZnZv6DPLAI4N7a9mZv3N7M/QZ7PazJ43s6rFfFtdgT+cc98V8/iVod/rFPN4ERHJh3o8RMRvicCnwKnAv51zH+fRphNeCc0oYANwItAHONHMTnfOuVzt3wVWAA/jJTM3AZuAB8MNzOxR4OlQ27eBhnilO3NDZTY7Is5XPxTjZGA8sBFIAsaa2anOuYUR5z0MOB24P+L4W4Cfgf8C2cAlwFAzi3HODcnvgzGz3sBreN+8Dwaq4ZWhnQZMzO+4CAl5jFfYmV9Pg5nF4pVmtQaGAsuBy4F3CnGt/bkJqAq8BWQBO8wsBvgY7/N6C1gGtADuBY4C/l2UC5jZqcDReKVWhT0mBqgHxIWOfQHvHs0pyrVFRGT/lHiIiN/GAE2Aq51z/82nzVDn3MuRG0KDpCcB/wC+ztX+e+fcjRFt6wM3Eko8QsnBU8BjzrlnI9p9gFfz3w94NuJ8jYG+zrm3ItrWAjKBzsDCiLbXAA4voQk7O9d4gTfM7DPgHmB34uGcOyfX+7gI+Nk5dzXF8xT7PoR3AL7Kp/1VeAngbeGEyMyGArOLef1ITYCjnHNbwxvM7PpQPP9wzi2I2P4L3mfUtog9F91Cv++3zCpXXGsiXq8BrnXO/V6Ec4iISCGo1EpE/NYIr/RmTX4NIh/aQ6U5DYDw7Eyt8zjkzVyvvwbqh5IFgCvx/v17N1Ra1CB0zg3A73gPw5Ey8XpbImNKxusFucbMIgdodwa+dc6tzif+2qFrzQGam1nt/N43sAM4JPRNfnEMx+stivy1tID2/8J7ryMjYg/i9X6U1NTIpCPkauBH4Pdc9yGc6OS+D/kK9dZ0BhYWMWnYjPe5XAI8AWwFahTheBERKST1eIiI324GXgE+M7P2zrlluRuYWT28h8JrgYNy7c7rwX11rtfbQ7/XBZLxSmoML8nIS+5SpL+dc1l5tJuCV4rUDphvZkcCbYC7csV/Jl7PQzsg91iT2sDOfOIYCJwLfBcaNzEDmOic+yaf9rn97pzbZxxGAQ7De68ZubaXxlofK/LYdnTo1+Y89sG+97og/8TrmXq+KEE55zKB8Gf0sZl9Bcwxs42aVU1EpHQp8RARv/0CXAjMAmaa2ZnOudy9H+8CZwAvAkvwpj6NwRuQnlfPbU4+1wr3TMTglUNdkE/blFyv85tWdRqQhldeNT/0exCYuvuCXjIyC/gNr7RqDd4YhwuBu/OJHwDn3K9mdixwMV5vxFVAPzPr75x7Ir/jDpDc42rCYvPZntdnGIN3P+/PYx/sm0AWpBvevZxchGP24Zyba2abQ+dT4iEiUoqUeIiI75xz35nZ5cAneMlHe+fcZgAzqwt0BJ5wzvUPH2NmR5fgkn/iJSErnHPLSxB3qpl9DFxtZvfglfp87ZxbF9HsEiAeuDSy/MrMClVG5JxLxetZmRKa6ekD4FEzey6PnomSWgWcaWbVcp37qDzabscbH5HbYUW43p/AcUXsldmHmVXDK5+b5ZzbWJJzhVQj7540EREpAY3xEJFywTk3C+iC95D7WcR4jHCPRO6F7u6i+D4InfeJXOMzME/9vA/L0xS8B/Cb8GZkmpJr/z7xh8Z19NrfiXPHESr3+iV0rrgixFhYn+MlSZED82PwBtvn9iferGL1I9q2xpuhqrDeBZqZ2Q25d5hZguUxBXI+LgFqUsCgcjM7LnKqZDOrYWbV82jXOXSuRbn3iYhIyajHQ0TKDefch6EpZN8B/mtm/3LOJZvZXOAB8xae+xs4DziiBNf508weA54DDjez/wC7Que8Am9Q9kuFPN300LEv4SUZ7+faPwOvtGqamb2FN3C5N970vgfv59wzzGwD8A3eFL7HA7cBnzjndhUyvqJ4D2+a4MFmdgx7ptMNf/sfWV41ErgT+NzMRuFNEnAz3rTB+zzQ52M03gDzt83sXLxytSrAcXhla//EK8Xan254pVz7LCgIYGZVgF/xSt7ODW0+DvjUzKbgTePr8Gb06oqXVL1eyPcgIiKFpB4PESlXnHOjgPuAs4GpoYfGrnjfxt+KlywE8MZnlOQ6z+ONmQjiDVx/CbgUL1HIb1rfvM6TEWpfE/jSObcp1/5leOtRuNA1+uIlNoMLcfpwohKedvdyvHU9uhd0UHE553Lwxp5MBW4ABuCVX90RapIR0fYn4Dq8NTBewRuH0o2CZ83K63qXAI/g9Ra9DPwf3gD9V/ESgAKFSvEuAKYVMRlbjZeonIv3Z+plvMH/rwGnOee2F3CsiIgUg+277paIiMgeZvZvvGTkdOfc//yOR0REKiYlHiIispuZVc+17kgsXolSC6BxaPpZERGRItMYDxERiTQ0VN72P7zZna7CGzD+gJIOEREpCfV4iIjIbmbWHW9MyZF4icfvwFDnXGmsXi4iIlHM18HlZnaWmU0zs3Vm5kLz+O/vmHPMbLGZZZrZH2Z2/QEIVUQkKjjnxjvnWjvnajvn4p1zJynpEBGR0uD3rFaJeDOg3FqYxmZ2BN4CY18CLYFBeNMwnl9mEYqIiIiISImVm1IrM3PAFc65/xTQZiBwkXPupIhtk4E6zrl/HYAwRURERESkGCra4PJ2wBe5tn2O1/ORJzOLx1uJN1I9YFvphiYiIiIipagmsM75+C15UlJSTbzFXv2uEiqvgsD6Nm3aFGodpYqWeDTGW7030kagVu4pICM8jLc4mIiIiIhULIcAfx/oiyYlJcUAj8TGxvY0szjADnQMFYRzzgWSkpLGAs+2adMmWFDjipZ4FMdzeKvqhtUE1i5fvpx69er5FJIcKIFAgC+//JIOHToQFxfndzhSxnS/o4vud3TR/a7cVqxYQZ8+ffj+++8B6NatGxMmTAAo1DfpZeCRuLi4Wxo3bpyVmJiYFhoSILk45yw1NTVhw4YNtwQCAYABBbWvaInHBqBRrm2NgOR8ejsIzTu/e+55My9hrVevHvXr1y+jMKW8CAQCJCQkUL9+ff1HFQV0v6OL7nd00f2uvCZOnEjfvn3ZtWsXdevW5Z133qF9+/bhxOOAS0pKqhUbG9uzcePGWQcddNBWX4KoQBITE9OB+uvWreuZlJQ0uKCyq4pWr7YA6JhrW6fQdhERERGpIFJSUujVqxfdunVj165dtG/fnqVLl3L55ftdXaGsNTazuMTExDS/A6koQr1CcXjjYfLl9zoeNcyspZm1DG06IvS6WWj/c2Y2NuKQN4HmZvaCmR1nZv2Aa4BXD3DoIiIiIlJMS5Ys4ZRTTmH06NHExMTwxBNPMHv2bA499FC/QwPv+dhUXlV4oc/K2E9u4Xep1Sl4a3KEhcdijAGux8uamoV3OudWmNlFeInGncBa4Cbn3OcHJFoRERERKTbnHK+//jr3338/WVlZNG3alAkTJnD22Wf7HZocAL4mHs65ryhglgDn3PX5HNOqzIISERERkVK3ZcsWbrjhBqZNmwbAJZdcwqhRozTmNopUtDEeIiIiIlLBzJkzh5YtWzJt2jSqVq3Ka6+9xkcffaSko5Q9/PDDjU866aTjExMTW9WrV6/Fueeee+TSpUv3Ws+ubdu2x5pZm8hfXbt2bZb7XK+99lr9Y4455oT4+PjW9erVa9GjR4992hSV36VWIiIiIlJJZWdn8/TTTzNgwACCwSDHHnsskydPpmXLlvs/WIps3rx5Nfv06bPpjDPOSA0EAvbwww83veCCC4757bfffq5Vq9buNTauvfbaLQMHDty9PkqNGjX2Wn/jySefbDR06NBG/fv3X9u+ffvUlJSUmD/++KNqSeNT4iEiIiIipW7NmjV07dqVefPmAXDDDTfw2muvkZiY6HNkRRd0jrTMbF8qhRLiqwRjrHDrF3799de/R76eOHHiyqZNm7b45ptvEi644IKU8Pbq1asHmzVrlp3XOTZv3hw7cODAJpMnT/7jsssu2z017mmnnZbn0hVFocRDRERERErVhx9+yI033sj27dupWbMmb731Fl26dPE7rGJLy8yOOenJGb6MMf7pyfO+r1EtrsAVwfOzbdu2WIAGDRrslWR8+OGH9T788MN6DRo0yD7vvPN2PP/88+tr1qwZBPjoo49qBYNBW7NmTdXmzZufmJqaGtumTZuU1157bc1RRx0VKMl7UeIhIiIiIqUiPT2d++67j6FDhwJw6qmnMmnSJI488kifI4s+OTk53H777Ye2bt065dRTT80Ib7/mmmu2HnHEEVmHHnpoICkpqfqTTz55yO+//15txowZfwL89ddf8cFgkJdffrnxSy+9tKZOnTo5jz/+eNNOnTod8+uvv/5SrVq1Yk8zrMRDRERERErs119/pXPnzvz4448A3H///QwYMICqVUs8NMB3CfFVgj89ed73fl27OMf17Nmz2fLly6vPnTv3t8jt991335bwz23btk1v2rRp4LLLLjvm559/jj/xxBMzg8Eg2dnZ9vLLL6+58sorkwGOP/74vw499NAWn3zySc2rrroqubjvRYmHiIiIiBSbc46RI0dyxx13kJ6ezkEHHcTYsWM5//zz/Q6t1MSYUdxyJz/07Nmz2axZs+p89dVXvx155JEFlkedc845qQC//fZb/Iknnph58MEHBwBatGixe0xHkyZNsuvUqZO9cuXKEmWRmk5XRERERIpl586dXHvttfTu3Zv09HQ6derE0qVLK1XSUZEEg0F69uzZ7LPPPqszc+bMZccdd1zW/o759ttvqwMccsghAYAOHTqkAPz000/Vwm02btwYu2PHjipHHHHEfs9XEPV4iIiIiEiRffvtt3Tp0oWVK1dSpUoVnnnmGe677z5iYvS9tl969uzZ7KOPPqo3efLkP2rXrp2zevXqKgD16tXLqVGjhvv555/jR48eXe/SSy/dedBBB2UvWrSo+kMPPXToKaeckhKeterkk0/O7Nix44777ruvWUJCwso6derkPPjgg4ccccQRGRdddNGugiMomBIPERERESm0YDDICy+8wOOPP052djZHHHEEkyZN4rTTTvM7tKg3YcKEhgAXX3zxsZHbBw8evPKOO+7YGh8fH/zqq69qjRgxolF6enpM48aNsy666KIdzz777LrI9u++++6Kvn37HnrVVVcdHRMTQ9u2bXd99tlny+Pj44s9sByUeIiIiIhIIW3YsIEePXrwxRdfAHDttdfy5ptvUrt2bZ8jEwDnXFJB+4866qjAwoULl+3vPPXq1Qu+++67q4BVpRYcGuMhIiIiIoXw2WefcfLJJ/PFF1+QkJDAyJEjmThxopIOKTQlHiIiIiKSr6ysLO677z4uuOACNm/ezMknn8yiRYu44YYbsEKuqC0CKrUSERERkXz88ccfdOnShUWLFgFw22238eKLL1KtWrX9HCmyLyUeIiIiIrKPCRMmcMstt7Br1y7q1avHO++8w2WXXeZ3WFKBKfEQERERkd1SUlK47bbbGDNmDADt27dnwoQJHHrooT5HdsAEAeecUx1ZIYU+K4f32eVLYzxEREREBIAlS5bQpk0bxowZQ0xMDE8++SSzZ8+OpqQDYINzLpCamprgdyAVRWpqaoJzLgCsL6idejxEREREopxzjtdff53777+frKwsmjZtysSJEznrrLP8Du2Aa9OmTXJSUtLYDRs23ALUT0xMTDOzEq1fUVk55yw1NTVhw4YNVXNycka2adOmwAUGlXiIiIiIRLEtW7Zwww03MG3aNAAuu+wyRo4cSf369X2OzFfPBgIB1q1b19PMEgCVXeXNOecCOTk5I4Fn99dYiYeIiIhIlPrqq6/o1q0b69atIz4+npdffpl+/fpF/TS5bdq0CQIDkpKSBgMHo+EJ+QkC6/fX0xGmxENEREQkymRnZ9O/f38GDBiAc45jjz2WKVOm0KJFC79DK1dCD9SFeqiW/VPiISIiIhJFVq9eTbdu3Zg3bx4AN9xwA6+99hqJiYk+RyaVnRIPERERkSjx4YcfcuONN7J9+3Zq1qzJ8OHDufbaa/0OS6KE6tVEREREKrn09HT69evHlVdeyfbt22nbti1LlixR0iEHlBIPERERkUrsl19+4bTTTmPYsGEAPPDAA3z99dc0b97c58gk2qjUSkRERKQScs7x9ttvc+edd5Kens5BBx3EuHHjOO+88/wOTaKUEg8RERGRSmbHjh306dOHqVOnAnDeeecxduxYGjVq5HNkEs1UaiUiIiJSiSxYsIBWrVoxdepUqlSpwgsvvMCnn36qpEN8px4PERERkUogGAwycOBAHn/8cXJycmjevDmTJk2ibdu2focmAijxEBEREanw1q9fT48ePZg1axYAXbp0YdiwYdSuXdvnyET2UKmViIiISAX26aef0qJFC2bNmkVCQgLvvPMOEyZMUNIh5Y4SDxEREZEKKCsri3vvvZcLL7yQzZs3c/LJJ5OUlESvXr0wM7/DE9mHSq1EREREKpg//viDLl26sGjRIgBuv/12XnjhBapVq+ZzZCL5U+IhIiIiUoFMmDCBvn37kpKSQr169XjnnXe47LLL/A5LZL+UeIiIiIhUACkpKdx2222MGTMGgLPOOosJEyZwyCGH+ByZSOFojIeIiIhIOff999/Tpk0bxowZQ0xMDE899RSzZ89W0iEVino8RERERMop5xyvvfYaDzzwAFlZWRxyyCFMmDCBs846y+/QRIpMiYeIiIhIObRlyxZ69erFxx9/DMBll13GyJEjqV+/vs+RiRSPSq1EREREypkvv/ySFi1a8PHHHxMfH88bb7zBhx9+qKRDKjQlHiIiIiLlRHZ2No8//jgdO3Zk3bp1HHfccfzvf//j1ltv1docUuGp1EpERESkHFi9ejVdu3blm2++AeDGG29k8ODBJCYm+hyZSOlQ4iEiIiLisw8++IAbb7yRHTt2UKtWLYYPH07nzp39DkukVKnUSkRERMQn6enp3HLLLVx11VXs2LGD0047je+//15Jh1RKSjxEREREfPDzzz/Ttm1b3nzzTQAefPBBvv76a5o3b+5zZCJlQ6VWIiIiIgeQc44RI0Zw1113kZ6eTqNGjRg3bhydOnXyOzSRMqXEQ0REROQA2bFjB3369GHq1KkAnH/++YwZM4ZGjRr5HJlI2VOplYiIiMgBsGDBAlq2bMnUqVOpUqUKL774ItOnT1fSIVFDiYeIiIhIGcrJyeHZZ5+lffv2rFq1iubNm/PNN99w3333EROjRzGJHiq1EhERESkj69evp0ePHsyaNQuALl268Oabb1KrVi2fIxM58JRmi4iIiJSBTz/9lBYtWjBr1iwSEhIYNWoUEyZMUNIhUUuJh4iIiEgpysrK4t577+XCCy9k8+bNtGjRgqSkJK6//nrMzO/wRHyjUisRERGRUvL777/TpUsXkpKSALjjjjsYOHAg1apV8zkyEf8p8RAREREpBePHj+eWW24hJSWFevXqMWrUKC699FK/wxIpN5R4iIiIiJRASkoKt956K2PHjgXg7LPPZvz48RxyyCE+RyZSvmiMh4iIiEgxLV68mNatWzN27FhiYmJ46qmnmDVrlpIOkTyox0NERESkiJxzDB48mAceeIBAIMAhhxzCxIkTad++vd+hiZRbSjxEREREimDz5s306tWLTz75BIDLL7+ckSNHUq9ePZ8jEynfVGolIiIiUkhffvklLVq04JNPPiE+Pp4hQ4bwwQcfKOkQKQQlHiIiIiL7kZ2dzWOPPUbHjh1Zv349xx9/PN999x39+vXT2hwihaRSKxEREZECrFq1iq5duzJ//nwAbrrpJgYNGkRiYqLPkYlULEo8RERERPLx/vvvc9NNN7Fjxw5q1arF8OHD6dy5s99hiVRISjxEREREcklPT+fuu+/mrbfeAuC0005j0qRJHHHEET5HJlJxaYyHiIiISISff/6ZU089lbfeegsz46GHHuLrr79W0iFSQurxEBEREcFbm2P48OHcddddZGRk0KhRI8aNG0enTp38Dk2kUlDiISIiIlFvx44d9O7dm/feew+A888/nzFjxtCoUSOfIxOpPFRqJSIiIlFt/vz5tGzZkvfee48qVarw0ksvMX36dCUdIqVMiYeIiIhEpZycHJ599lnOOussVq1axZFHHsn8+fO59957iYnRI5JIaVOplYiIiESddevW0aNHD2bPng1A165dGTZsGLVq1fI5MpHKS+m8iIiIRJVPPvmEFi1aMHv2bBISEhg1ahTjx49X0iFSxpR4iIiISFTIzMzknnvu4eKLL2bLli20bNmSxYsXc/3112NmfocnUump1EpEREQqvd9//51rr72WxYsXA3DHHXfwwgsvEB8f73NkItFDiYeIiIhUauPGjaNfv36kpKRQv359Ro0axSWXXOJ3WCJRR4mHiIiIVEq7du3i1ltvZdy4cQCcffbZTJgwgaZNm/ocmUh00hgPERERqXSSkpJo06YN48aNIyYmhv79+zNr1iwlHSI+Uo+HiIiIVBrOOQYNGsSDDz5IIBDg0EMPZeLEifzjH//wOzSRqKfEQ0RERCqFzZs3c/311zN9+nQArrjiCt5++23q1avnc2QiAiq1EhERkUpg9uzZtGjRgunTpxMfH8/QoUN5//33lXSIlCNKPERERKTCys7O5tFHH+Xcc89l/fr1HH/88SxcuJBbbrlFa3OIlDMqtRIREZEKaeXKlXTt2pUFCxYA0Lt3bwYNGkRCQoLPkYlIXnzv8TCzW81spZllmNn/zKztftrfZWbLzCzdzNaY2atmVu1AxSsiIiL+e++992jZsiULFiygVq1aTJkyheHDhyvpECnHfE08zKwz8ArwFNAaWAp8bmYH5dO+K/B8qP3xwI1AZ+DZAxKwiIiI+Co9PZ2+ffty9dVXs3PnTk4//XSWLFnCNddc43doIrIffpda3QOMcM6NAjCzvsBFwA14CUZuZwDfOOcmhl6vNLNJwGkHIlgRERHxz6pVq2jXrh2//PILZsZDDz3EU089RVxcnN+hiUgh+JZ4mFlVoA3wXHibcy5oZl8A7fI5bD7Q3czaOue+M7PmwIXAuAKuEw/ER2yqCRAIBAgEAiV8F1Lehe+x7nV00P2OLrrf0cM5x1tvvcX9999PVlYWjRs3ZtSoUXTs2BHQn4HKSPe0cjLnnD8XNmsC/A2c4ZxbELH9BeBs51yevRhmdgfwEmB4idObzrlbCrjOk8ATubdPnDhRdaAiIiLlXEpKCkOGDNk9gLx169bccccd1KlTx+fIpCylpaXRtWtXgNrOuWS/45HS4XepVZGY2TnAI0A/4H/AUcBgM3vcOfd0Poc9hzeOJKwmsLZDhw7Ur1+/LMOVciAQCDBz5kw6deqkrvgooPsdXXS/K7/58+dzxx13sHr1auLi4ujWrRuvv/468fHx+z9YKrStW7f6HYKUAT8Tjy1ADtAo1/ZGwIZ8jnkaGOecezv0+kczSwSGm9kzzrlg7gOcc5lAZvh1eE7vuLg4/UcVRXS/o4vud3TR/a58cnJyeP7553niiSfIycnhyCOPZPz48WzcuJH4+Hjd7yige1w5+TarlXMuC0gCOoa3mVlM6PWCfA5LAHInFznhw0s7RhERETmw1q1bR6dOnXjsscfIycmhW7duLF68mDZt2vgdmoiUkN+lVq8AY8xsEfAdcBeQCIRnuRoL/O2cezjUfhpwj5l9z55Sq6eBac65nNwnFxERkYrjk08+4frrr2fLli0kJiYyZMgQevbsiZlpsLFIJeBr4uGcm2JmDYH+QGNgCfAv59zGUJNm7N3DMQBwod+bApvxkpFHD1jQIiIiUqoyMzN56KGHGDRoEACtWrVi0qRJHHvssT5HJiKlye8eD5xzbwBv5LPvnFyvs/EWD3yq7CMTERGRsrZ8+XK6dOnC4sWLAbjzzjsZOHCgBpCLVEK+Jx4iIiISncaOHUu/fv1ITU2lfv36jB49mosvvtjvsESkjCjxEBERkQNq165d9OvXj/HjxwNwzjnnMH78eJo2bepzZCJSlnyb1UpERESiT1JSEq1bt2b8+PHExMTw9NNP88UXXyjpEIkC6vEQERGRMhcMBhk0aBAPPfQQgUCAZs2aMXHiRM4880y/QxORA0SJh4iIiJSpTZs20atXL6ZPnw7AlVdeydtvv03dunV9jkxEDiSVWomIiEiZmTVrFi1atGD69OnEx8fm7NkYAAAgAElEQVQzbNgw3nvvPSUdIlFIiYeIiIiUukAgwKOPPkqnTp3YsGEDJ5xwAgsXLqRv376Ymd/hiYgPVGolIiIipWrlypV07dqVBQsWANCnTx9effVVEhISfI5MRPykxENERERKzdSpU+nduzc7d+6kdu3ajBgxgquvvtrvsESkHFCplYiIiJRYWloaN998M9dccw07d+6kXbt2LFmyREmHiOymxENERERK5KeffuLUU09l+PDhmBkPP/wwc+bM4fDDD/c7NBEpR1RqJSIiIsXinOOtt97i7rvvJiMjg8aNGzN+/Hg6duzod2giUg4p8RAREZEi2759O7179+b9998H4IILLmD06NEcdNBBPkcmIuWVSq1ERESkSL755htatmzJ+++/T1xcHC+//DIff/yxkg4RKZASDxERESmUnJwcBgwYwNlnn83q1as56qijmD9/Pvfccw8xMXqkEJGCqdRKRERE9uvvv/+mR48efPnllwB0796doUOHUrNmTZ8jE5GKQl9PiIiISIE+/vhjWrRowZdffkliYiJjxoxh3LhxSjpEpEiUeIiIiEieMjMzueuuu7jkkkvYunUrrVq1YvHixfTs2dPv0ESkAlLiISIiIvtYvnw57dq1Y/DgwQDcddddLFiwgGOOOcbnyESkotIYDxEREdnL2LFj6devH6mpqTRo0IBRo0Zx8cUX+x2WiFRwSjxEREQEgF27dtGvXz/Gjx8PQIcOHRg/fjxNmjTxOTIRqQxUaiUiIiIsWrSIVq1aMX78eGJjYxkwYAAzZ85U0iEipUY9HiIiIlEsGAwyaNAgHnroIQKBAM2aNWPixImceeaZfocmIpWMEg8REZEotWnTJq6//no+/fRTAK666ipGjBhB3bp1fY5MRCojlVqJiIhEoVmzZtGiRQs+/fRTqlWrxptvvsnUqVOVdIhImVHiISIiEkUCgQCPPPIInTp1YsOGDZxwwgksXLiQm2++GTPzOzwRqcRUaiUiIhIlVq5cSZcuXfj2228B6NOnD6+++ioJCQk+RyYi0UCJh4iISBSYOnUqvXv3ZufOndSuXZsRI0Zw9dVX+x2WiEQRJR4iIiKVWFpaGnfddRcjRowAoF27dkycOJHDDz/c38BEJOpojIeIiEgl9eOPP3LqqacyYsQIzIxHHnmEOXPmKOkQEV+ox0NERKSScc7x5ptvcs8995CRkcHBBx/MuHHj6Nixo9+hiUgUK3HiYWbxzrnM0ghGRERESmbbtm307t2bDz74AIALL7yQ0aNH07BhQ58jE5FoV+RSKzO7wMzGmNlfZhYA0sws2czmmNmjZtakDOIUERGR/Zg3bx4tW7bkgw8+IC4ujldeeYVp06Yp6RCRcqHQiYeZXWFmy4F3gGxgIHAlcD5wEzAHOBf4y8zeNDP9KyciInIA5OTk8PTTT3P22WezZs0ajjrqKBYsWMDdd99NTIyGc4pI+VCUUqsHgLuBT51zwTz2vwtgZk2B24HuwKsljlBERETy9ffff9O9e3e++uorAHr06MGQIUOoWbOmv4GJiORS6MTDOdeukO3+Bh4qdkQiIiJSKB9//DHXX389W7duJTExkWHDhtGjRw+/wxIRyZP6X0VERCqYzMxM7rzzTi655BK2bt1K69at+f7775V0iEi5VugeDzN7pbBtnXP3FC8cERERKciyZcu49tprWbJkCQB33XUXzz//PPHx8T5HJiJSsKKM8WiV63Xr0PHLQq+PAXKApFKIS0RERCI45xg7diy33norqampNGjQgNGjR3PRRRf5HZqISKEUZYxHh/DPZnYPsAu4zjm3PbStLjAK+Lq0gxQREYlmycnJ9OvXjwkTJgDQoUMHxo8fT5MmmsFeRCqO4o7xuBd4OJx0AIR+fiy0T0RERErBokWLaN26NRMmTCA2NpZnnnmGmTNnKukQkQqnuCuX1wLyWqejIaD5+0REREooGAzy6quv8vDDDxMIBGjWrBmTJk3ijDPO8Ds0EZFiKW7i8SEwyszuBb4LbTsNeBH4oDQCExERiVabNm3iuuuu47PPPgPgqquuYsSIEdStW9fnyEREiq+4iUdf4CVgIhAX2pYNjATuL4W4REREotIXX3xBjx492LBhA9WqVWPQoEH06dMHM/M7NBGREilW4uGcSwP6mdn9wJGhzX8651JLLTIREZEoEggE+L//+z8GDhyIc44TTzyRyZMnc9JJJ/kdmohIqShujwcAoUTjh1KKRUREJCqtWLGCrl278u233wJw880388orr5CQkOBzZCIipafYiYeZnQJcAzQDqkbuc85dWcK4REREosK7775L7969SU5Opk6dOowYMYJ///vffoclIlLqijWdrpldC8wHjgeuwBvncSLwT2BnqUUnIiJSSaWlpdG7d286d+5McnIyZ5xxBkuWLFHSISKVVnHX8XgEuNs5dwmQBdwJHAe8C6wupdhEREQqpR9//JFTTjmFt99+GzPj0UcfZc6cORx22GF+hyYiUmaKm3gcCXwS+jkLSHTOOeBVoE9pBCYiIlLZOOcYOnQop556Kr/++isHH3wwX3zxBQMGDKBKlRINuxQRKfeKm3hsZ89CgX8D4Sk36gAaCSciIpLLtm3buOqqq7j11lvJzMzkwgsvZOnSpfzzn//0OzQRkQOiuInHXKBT6OepwGAzGwFMAmaVRmAiIiKVxbx582jZsiUffvghcXFxvPrqq3z88cc0bNjQ79BERA6Y4vbr3gZUC/38DBAAzgDeBwaUQlwiIiIVXk5ODs888wxPPfUUwWCQo48+msmTJ9O6dWu/QxMROeCKu4Dgtoifg8DzpRaRiIhIJbB27Vq6d+/OnDlzAOjRowdDhgyhZs2a+zlSRKRyKm6pFWZ2pJkNMLNJZnZQaNsFZnZi6YUnIiJS8UybNo2WLVsyZ84catSowdixYxk7dqySDhGJasVdx+Ns4EfgNOBKoEZoVwvgqdIJTUREpGLJyMjgzjvv5NJLL2Xr1q20bt2axYsX06NHD79DExHxXXF7PJ4HHnPOdcKbTjdsNnB6iaMSERGpYJYtW0a7du147bXXALjnnnuYP38+Rx99tM+RiYiUD8UdXP7/gK55bN8ENCh+OCIiIhWLc44xY8Zw2223kZqaSoMGDRgzZgwXXnih36GJiJQrxe3x2AEcnMf2VnjreoiIiFR6ycnJdO/enV69epGamso///lPli5dqqRDRCQPxU08JgMDzawx4IAYMzsTeAkYW1rBiYiIlFcLFy6kdevWTJw4kdjYWJ555hlmzJhBkyZN/A5NRKRcKm7i8QjwG7AGb2D5L3iLCs5H63iIiEglFgwGeemllzjjjDP4888/Oeyww5g7dy6PPPIIsbGxfocnIlJuFXcdjyygt5n1xxvvUQP43jn3e2kGJyIiUp5s3LiR6667js8//xyAf//734wYMYI6der4HJmISPlX5MTDzOLwejsuds79itfrISIiUqnNnDmTHj16sHHjRqpVq8bgwYPp3bs3ZuZ3aCIiFUKRS62ccwGgWhnEIiIiUu4EAgEeeughzj//fDZu3MiJJ57IokWL6NOnj5IOEZEiKO4YjyHAg2ZW3Ol4RUREyr0VK1bQvn17Bg4ciHOOvn37snDhQk488US/QxMRqXCKmzicCnQEzjOzH4HUyJ3OuStLGpiIiIifpkyZQp8+fUhOTqZOnTq8/fbbXHXVVX6HJSJSYRU38dgBvF+agYiIiJQHqamp3HnnnYwcORKAM844g4kTJ3LYYYf5HJmISMVW3FmtepV2ICIiIn774Ycf6Ny5M7/99htmxqOPPsoTTzxBlSqqLBYRKSn9SyoiIlHPOcfQoUO59957yczMpEmTJowfP54OHTr4HZqISKWhxENERKLatm3buPHGG/nPf/4DwEUXXcSoUaNo2LChz5GJiFQuxZ3VSkREpML7+uuvadmyJf/5z3+oWrUqgwYNYtq0aUo6RETKgBIPERGJOjk5OfTv359zzjmHNWvWcPTRR7NgwQLuvPNOrc0hIlJGVGolIiJRZe3atXTv3p05c+YAcN111/H6669Ts2ZNnyMTEancSpR4mFkicA1wFLAemOSc21oagYmIiJS2//73v/Tq1Ytt27ZRo0YNhg0bRvfu3f0OS0QkKhSp1MrMfjGzeqGfDwV+Al4FOgFPAb+Y2RGlHqWIiEgJZGRkcMcdd3DZZZexbds22rRpw+LFi5V0iIgcQEUd43Ece3pJngPWAYc559oChwE/AM+UXngiIiIls2zZMk4//XRef/11AO655x7mz5/P0Ucf7XNkIiLRpSSlVu2Avs65nQDOuRQzewKYXCqRiYiIlIBzjtGjR3PbbbeRlpZGw4YNGTNmDBdccIHfoYmIRKXiJB4u9Hs1vHEdkf4GNAehiIj4Kjk5mb59+zJp0iQAOnbsyLhx4zj44IN9jkxEJHoVZzrdWWa2GKgFHJtr32GABpeLiIhvFi5cSKtWrZg0aRKxsbE8++yzfP7550o6RER8VtQej6dyvU7J9foS4OvihyMiIlI8wWCQl19+mUceeYTs7GwOO+wwJk2aRLt27fwOTUREKGLi4ZzLnXjk3n9/UQMws1uB+4HGwFLgdufcdwW0r4M3gP1KoB6wCrjLOTe9qNcWEZHKYePGjVx33XV8/vnnAFx99dUMHz6cOnXq+ByZiIiE+bpyuZl1Bl7B60lpjZd4fG5mB+XTviowEzgc+DdeqVdvvLElIiIShWbOnEmLFi34/PPPqV69OsOHD2fKlClKOkREyplSXbnczI4ERjjn/lnIQ+4JtR8VOr4vcBFwA/B8Hu1vwOvlOMM5FwhtW1mioEVEpEIKBAKMGTOGDz/8EICTTjqJKVOmcMIJJ/gcmYiI5KVUEw+gBnB2YRqGei/a4K0HAoBzLmhmX+BN1ZuXS4EFwBAzuwzYDEwEBjrncvK5TjwQH7GpJnj/YQUCgbwOkUokfI91r6OD7nf0+Ouvv+jevTuLFi0C4Oabb+aFF16gevXquv+VlP5+Rxfd58qpSImHmd2xnyZNi3C6BkAssDHX9o14CxXmpTnwT2ACcCFwFDAUiGPfge9hDwNP5N745ZdfkpCQUIRwpSKbOXOm3yHIAaT7Xbl9/fXXDBs2jLS0NBITE7ntttto164dX375pd+hyQGgv9/RIS0tze8QpAwUtcdjEN7aHVn57K9asnD2KwbYBPQJ9XAkmVlTvMHp+SUez+GNIwmrCazt0KED9evXL9NgxX+BQICZM2fSqVMn4uLi/A5Hypjud+WWmprK3XffzejRowFo164dvXr1olu3brrfUUB/v6PL1q1anaEyKmrisQp40Dn3bl47zawlkFTIc20BcoBGubY3Ajbkc8x6IJCrrOpXoLGZVXXO7ZMQOecygcyIGAGIi4vTP1xRRPc7uuh+Vz4//PADnTt35rfffsPMeOyxx3j44YeZMWOG7neU0f2ODrrHlVNRZ7VKwhuXkR8HWGFOFEoSkoCO4W1mFhN6vSCfw74Bjgq1CzsGWJ9X0iEiIhWbc44hQ4bQtm1bfvvtN5o0acKsWbPo378/VaqU9jBFEREpS0VNPP4PmFrA/l+AI4pwvleA3mZ2nZkdDwwDEoHwLFdjzey5iPbD8Ga1Gmxmx5jZRcAjwJAiXFNERCqAbdu2ccUVV3DbbbeRmZnJxRdfzNKlS+nQoYPfoYmISDEUdQHBX/azP4BXjlXY800xs4ZAf7wFBJcA/3LOhQecNwOCEe3XmNn5wKvAD3jrdwwGBhblfYiISPk2d+5cunXrxtq1a6latSovvvgit99+++5yWRERqXh876d2zr0BvJHPvnPy2LYAOL2MwxIRER/k5OQwYMAA+vfvTzAY5Oijj2bKlCm0atXK79BERKSEfE88REREANauXUu3bt2YO3cuANdddx1vvPEGNWrU8DkyEREpDUUd4yEiIlLqPvroI1q0aMHcuXOpUaMG48ePZ/To0Uo6ylhGIIfNuzL337AUbErOIDM7z7V+C5QTdKzfmV7q8WQEctiSUvj3HsgJsik5Y7/ttqdmkZqZXZLQCu3vHek450rlXLsyAqQUIu5NyRnkBPdc0znHhp0ZpRaHVG5KPERExDcZGRncfvvtXH755Wzbto02bdrw/fff061bN79Diwo3jVnEmc/PZsPO/T9Ql8SabWmcOXA2fcYWdsb9PQZ88gvtnpvN/1ZsK9WYur/9P/4xcDabdhXuvd89ZQmnPTeLPzbtyrdNWlY257z0FZe+Ma/MH8Q/+WE9Zz4/m6Ff/Vnic6Vn5dDx5Tlc9sY8AjnBfNt9+9dW2j47i+c//XX3ttHzV3L6c7P4z5K/SxyHVH5FTjzMLM7MZpnZ0WURkIiIRIfffvuN008/nTfe8Ib53XvvvcyfP5+jjjrK58iix6/rk8nKCfLT3zvL9DrfrdhGIMfx87qiX+fndckALFlTujH+tG4nGYEgi1ZuL1T7H9buxDnv9/ys2JLKzvQAf25OZUdaoLRCzdPi1V7cv23IPxEqrJVbU9m0K5M/N6cy/8/8F+5bGEr+Ji9cQ2Z2Ds45xi7w5hT6bkXhPkeJbkVOPEIzV51cBrGIiEgUcM7xzjvv0KZNG5YuXUrDhg2ZPn06L730ElWrVvU7vKgSLq1Zuz2tTK+zPNRLsC01a68yncJITvce4DcUosypsNKzcsgIeN/sFzbpCpdlFRTHxoh9q7aV7WcaLj8rjbKuyFK2j5euy7dd+L3vyshm7vIt/LwumRVbUoG937tIfopbajUeuLE0AxERkcpv586ddO3alRtvvJG0tDTOPfdcli5dygUXXOB3aFEnkBMkM9t7+F67vfTHUERaHvpWPuhgR1rR1vsN9xysL8VysO0RMfwU6lEpSGpmNmlZ3viUjQXEsWHnnjEjq7amliDC/Vu3w4ujMOMyCnsugM9+3pDvWJzI5GLa0nVM+2FPklLW5XpSORR3VqsqwA1mdi7e6uN7/e1yzt1T0sBERKRy+e6777j22mtZsWIFsbGxDBgwgAceeICYGA039EPkN+V/7yjjxGNjyu6ft6ZmUb9GfKGP3ZkekXjULZ14tqXuSTx+/nsnzrkC14iJHIReUI9H5L5VWw9Mj0dKRun2eOzKyObr5Vs494RG+7SLfH8zf9lInYS43a/V4yGFUdx/7U8CFgO7gGOAVhG/WpZOaCIiUhkEg0FeeOEFzjzzTFasWMHhhx/OvHnzeOihh5R0+Cjym/Ky7PHYlRHYK7EpykxSmdk5pAe8b99Ls8cjcvzF1tSs/ZZx7Z145B9/ZG9IWSYeWdlBNoVmI0vNKr0ej4SqsQB79WRECvfoVI2NIT2Qw/qdGVSN9f4Ob03NKtasZRJditXj4ZzrUNqBiIhI5bNx40Z69uzJjBkzALjmmmt46623qFOnjs+RRY+MQA5xsTHExuz9jf7eiUfBD8mBnCAxZvucozAiezsAtqYUvtQq3NsBsD0tQFYBz7VZ2UEcjvgqsfs977Zc5V4//Z3MwbWr59t+86497QsstYpIYFZvK7jUKjUzm8T4wj+GpWZmk1A1FjNjY3IG4Umz8uvxCI+lyeue5d63LpQYXnPKoYyev5KZv2wkPSuH6lX3fJaBnCBbU73E4/JWTXh30VoALvh/jfn0xw1k5QTZlJzJofUS9rpWckaAHal7D7SvWiWGxrWr7bUtJTObGhGfR1mXqok/SvRVk5kdZWbnm1n10Oui/4skIiKV0owZMzj55JOZMWMG1atXZ8SIEUyePFlJxwGUmpnNPwbOpvNbC/LcF7Y9Lf81HLamZNLuuVn0GbuoWDH8vnHvWZciy5z2Z2eumaF25HOoc45LXp/Hua/MKXA62N3n2SfxKHiA+eaIHo/NKZn5DpDfWMhSqwV/buX/Pfk5r8/6fb+xAvyxKYVW/WfyyIc/AXv3/uR137alZnHKgJn0m5D39MU9Rv6PM5+fza6MvcfPXHBSYw6pW520rBzmLN+01zGbdmXiHMTFGj3bHb57+6UtmnBQLa90Lne51Z+bUzhlwBec9eKXe/06/blZDJ+7Zxrgd+at4P89+Tkzft6we9uLM/7Y7+ciFU+xEg8zq29ms4DlwHTg4NCukWb2cmkFJyIiFU9WVhYPPPAA559/Pps2beKkk05i0aJF3HTTTQXW0UvpW70tjS0pWSxatX2v3gPwavkj/Z1PudW8P7awJSWLWb9t2icRKIxluRKPrUUotcod8/asvP/87EwPsGzjLtZsSy/UIOdw8hMX651vf9P8bolYZDEn6PItF4vs8di0K5P0fLpoFq3cRtDBnOWb9xsrwOJV28nKCfLVMi8ZiByTkZkd3CfZWrRyG9vTAsz8ZePu5CJsY3IG8//cyobkDH5Yu5Ng0O3+zJrUqU77oxsCXi/QXu8t1OagmtU4sUktrmjVlLOPaUj7oxvSuFa1fd4/eOt+ZGUHiY0xEqrGklA1lqpVvEfPyPc+Z/lmXK7P44/Ne/eUSeVQ3B6PV4EA0AyITOmnAP8qaVAiIlIx/fXXX7Rv354XX3wRgH79+vHdd99xwgkn+BxZdEqOeHDP3fOQmrn3Q3F+5VZJq/asz7B4TdHXalgeum7TOl4p05Yi9HjkXgtjez45y5aI8q3NhUhswudt1cwbrZ77ITu33OfMK7nJCOTsPm943MPqfKbUDY/P+GtL4cqJwg/063dmsDM9sNcsVLDvlLrh8wYdLFmzY699kfdz2YZdbE3NIisniBk0rl2NIxsmhs6x94N/uDejUa14zIxXO7dkzA1tqVolhkahsqncn8tfm704rmt3OL/0/xe/9P8Xk3qftte+yGuF/6wkZwTYWMBYGqm4ipt4nAc86Jxbm2v778BhJQtJREQqosmTJ9OqVSu+++476tSpwwcffMCQIUOoXj3/2nkpW8kRvRq5ex5SMvd+qM9vZqvIB9WkQi62F2nZBu+hst2R9YGS9XjsyOfQyHNG9k7kJzyd7plHNsDMe7DfXMBxuc+Z12D08IN5fJUYjm1cE8h/nEJ4tfRtqVmFml448nq/b9y1e0xGWO7eq78iegtyL5AY+Xp5xLkOqhlPXGwMzcOJx+a9Yw8nFbnHZgC7ezxyl1qF4wifE6B5gxqAl0SlZWWTEcjZPbnBsg27cM7tkyRL5VHcxCORvXs6wuoBSlFFRKJIamoqN954I126dCE5OZkzzzyTpUuXcsUVV/gdWtSL7PFYviF34pG7x2PfxCMlM5tf1+/pDYhMQgpjW2rW7rKk05uHE48i9HjkTjzyKbXamlq0Ho9wqVXTutVp3sB7KP6pgHKr8HsIl2blNXVs5IN5s/reAOv99XgA/Ll5/70ekQPal29M2avUCvad2SoyaQivcB6WtHrvxCN8rvDg+nBisGJLKsGIsSx7ejzyTzxyz/gV7nmJTDzqJlalbmga3r82p7Jqa9rugfLJGdls2pW5z4QEUnkUN/H4GugZ8dqZWQzwAPBliaMSEZEKYcmSJbRp04Z33nkHM+Pxxx/nq6++olmzZn6HJnglK2G5H+bCsyGFh93kVWq1dM0Ogs77Fh+8sp3sQgze3nNNL9k5tF51Dq3rPdhuLdLgcq9t9ThvdqX8Sq327vHY//nDJVF1E+I4qWltwFvPIz/hZCbck5FXqdWGiAfzw0IzO+U3wHxTxAP6X4UYyxDZ4+H1Uux9/dwzW62IKOH6fvWO3YPhMwI5e73P5RtT+HtHeHyHlzwcUrc6cbFGZnZwr16wcOLROI/EI1xqFZmQZWbnsCaUeB3ZsMZe7ZuHXv+1JXWf979swy6WbVCPR2VV3MTjAaCPmX0KVAVeAH4CzgIeLKXYRESiVjCfWXPKC+ccb7zxBqeddhrLli2jSZMmzJ49m/79+1OlSnHXps1bMOhwrnx/HuVVcvqeB9Llucd4hL4lP7y+9210Xj0e4R6OTic0ola1KqQHcvh1feEfCsPXPLZRzd2LBhZlHY9wqVX4gT+/Ho+9x3jsefh1Lu8/O+Eej7qJVXef+49N+ScA4WTmpCZeklJQqVXjWtU4LNTjsSqPHg/n3F5lXYUZ5xH5QL9sw55eivBA7ciZrXamBXYnd9XjYknJzN79IL90zQ6yg44GNaoSF2ukZGazOHSPwz0eVWJjOCz0ZyIygQm/58KWWq3ZlkbQQWLVWA6qufeCkeFephWbU/d5/8s37trnz6pUHsVKPJxzP+EtHDgP+Aiv9OoDoJVz7s+CjhURkYLd8+4S2j0/a5/69vJi69atXHHFFdx+++1kZWVxySWXsHTpUs4555xSv1ZO0HHJG/O4ctj8cp+MlUeRMxptjSh78vZ5D6vHNvIevPNKPBaFHkrbHlGP1od5A7GTVm0r9PXDD7xHN6pJgxpVd1+3sAvNhUutjj/Yi3F7JnkmEuH1JWBPkpCSmc3ZL37F9aMW7tNLEx5XUTeh6u5B7+vymQ0rNTN79yKGJ4Z6R/IutfJiaFy7Gs3qeQ/Wq/MY47EjLUBWRDwr9lNqlZUd3Cux+mndTraHemzCPQmRicefoYHajWrFc8rhoXsWKq8K/37q4fV2l1TN/d2bSapJnT1jscKJQWRvRHiwd4GlVjszdt+fcAlZ84Y19pnNbk+PR8rusrDw4oXLNijxqMyKO51uMyDZOfeMc+4a59yFzrnHnHPrQ/tERKQYnHN8/tMGNiZnlsv/fOfOnUvLli356KOPqFq1KoMHD+ajjz6iQYMGZXK9Tbsy+HldMt+v3rFX2cefm1P2Gr8geUvONZVq5DiP8ExI4W/8t6VmkRYxViAYdHwfSjxaN6tLm9AMUIuKMM4jXGrUvEEitarFUSW0YN321MLdu3DyfVzjWgBkBm2fgdSw97iRcHL10987Wb0tjTnLNzPsqz3fiWZm55Aamua2XkLV3Q/cucdNhIV7JxKqxu5+IM+r1CpyDES4x2Pt9vR9kp5Nu3KPgyi41Co8EL1KjGG2J2FMrBrLwRVU7wIAACAASURBVKHeh8hZrcIP8s0b1KB16J4lrdwW+t27d20Oq8vRjbyH//D5mkT0ZESWQoH379LuMSx5JB7hdTwys4O779nuOCLGd+w5/54B7OH33+G4gwD4dsXWvRItqVyKW2q1AmiYe6OZ1Q/tExGRYtiRFtj9UJTfisR+yM7O5sknn6RDhw6sXbuWY445hv/P3pmHx1WW/f9zZs9kbfY0bdO9pXSnUJYCZd9BEBHKT0VQREBxAaqogIK+WgQE8VVA4JVFEAREK5S1QAtdaOlCKW1pm+5bliZNJpnM9vz+OOc5c84sycw0LV2ez3XlSnLmmTPPzJk583zP/b3ve/78+Xz/+9/fp705rAtKKcQ2NAY48/73+c4zS/bZ4x4qWK1WYK9sJa+S9y3xUeTT7XHWXh5rdrXRZnTLHlldyFFGxOPjLISHzBvpX+rH4dAozdejHpnarWQuRnWxz0xI3p5i0d+UopyuNYLzwNufm00C5T4dGhT6XObifUdrMGVUTc61vMBrXu1PVep1h8VqVV3kw+NyEImJpPlKIVFodOne0NSRtiGh/lhxQTPA0hW8piTP7PRtFWPWSlLWiIcQwox4HFXXx4x0WfcnSaxstScYj/qkslr53E7z+MjXwZxHeUHSeLNkb0M84nHO6GoANjfrx622JPlxFAc/uQoPDUj1KSkAeu7co1AoFIqUWBdL6TpJ7282b97Mqaeeyi9/+UtisRhXXXUVixcvZsKECfv8sXd3WIWHvpBZUN9ENCYy7oFwqLJy2x7+8dGmbvNfZMRDLljXpBAeBV43tX3iV+glMr9jwoASXE4H4/qX4HRobGsNJpVzBd3W9dS8DeZCPRYTZhJ0PyOxXOZ5ZJpgLqNaJXlu80r79hQ2p8ZAcjldKXo0DSIxwY+fX0ZXJBrP7/B7cDg0qop8aBqEo6kbA8qIR0Wh11x0t3dFkj6f8apWXhwOzUymv/+tNdz3xmqzOphMLB/TrxiPy0EoEkvbvFHfb9zCNdwiFmqKfRQYgtHak2W9xeI0vn8JmqYv5m9/5VNaOsJ4XQ6O7FvM8Gq78LBFPBKsVlL8FOe58RmJ/olUFdl7eaSqaCUZUJqPQ4NAKGpGSKaOqDT7nwAMrUy+n+LgJyvhoWnafZqm3YcuOu6S/xs/D6A3EFy6LyaqUCgUhwPWykIHgvB45ZVXGD9+PHPmzKGwsJBnnnmGJ554goKC5KuY+4LmQHLE49Nt+gJuT2eEwznn/EfPL2X6i590a32SwkNe+bZWtpIRtXyv0xQG1vefFB7SYpXvdXFkX93y9NT8jbbHEUJw03NL+cUrn/Kn2WsBPfIQiupdq6VokHkemfbykDkexX63GZlIFfGwvk8CoSgdoYi5mP/GcQMpL/Cwemcbb63cZYrZEuMKvdvpoKpQ33eqPI94xMNDgddlRhmsdqtYTJiRDLkAH1qpf0Ze+ngrD76zlptfWAbErVbVRT4GGUnc67qxW1kjKdYoRa0l4mHtySKtS4Mr8in0uRlVYz9mEwaU4HE5bPtyOzXKC+IJ4NJqtc3otdGdzUpSnVDZSoqWQeXJAsLjctDfEr2Rz2VIZfy8MrRi/5xjFPuXbCMeE4wfDRhj+X8CMBJYBlzVi/NTKBSKwwprHkNiN+L9STAY5MYbb+RLX/oSzc3NTJo0iSVLljBt2rT9Og+rhUYmKkvLTCQmCGVe2dVGMBzllheW8d/l2/d6jl8EwXCUz40qTJ930/NAWq2OHlgK6DkeMkIiq1oV+lwW4ZEc8TjKuC/A9VOHAPDwe+tsPT3+8dFm3lm1C8C8si9FTHWRD5dxJbssXwqPEK0dYW5+YRkfbUidrC6EMK+Gl+R54sIjoZRsOBpL6nDe2BYyn8u4/sWcMaranJvML5G2L4CaErnv5MhDg/EelAvzKiOfwZpg3twRIhzVX9dKQ8TcevZIvn3iIK44pj+gv39DkZgpUCqKvGmb9VmxWq1kXgboVajiwkOPeERjgg1GXs0Qw+L0uy+P5eoTBnHV8QO5ZsogfnnhaEC3v8kyydXFPhyOuGWyNN9jCrP6xkC8VHAKm5UknmDexe5AyEyATxXxgHhUxTpmuOX5DU4hWBQHPxnXPNQ0bSxwuhAiqmnaE8D3hRAHXuajQqFQHMRYF36pkmj3B5999hmXX345y5cvB+Dmm2/m17/+NR6Pp4d79j5Wq9Xahna6IlFWWhradeb4En20oZkXFm/hw3VNnDe2Zm+nud9Z3xAw8wI2NqdftMqIx7h+JbgcGm1dEba3BulbkmeJeLjMq9LytW1o62JjUweaBuP7l5j7O3t0DRdPqOXlJVu5+YVl/Pf7U2hqD3HXzJW2uUH8vSxFDUBpvlFSN9DFk/M28M/FW9jQGOCf3z0+ae7tXRHzORbnpY947DaiHQ5NX4xvbemkob2LLS0dxuP7TWGyemebeWW+xB9/P/ctzmMJLSkjHlarFeiL9HUNAVvEQ/5dXuAxS9wOqSjgZ+eNQgjBf5Ztp70rQn1jwIx4VBb6zGT77np5WC1cIyz2qJoSn3mOkNHRbS2dhCIxPC4HtcbrPrq22OxVYsXp0BhWVcCKrXvMUrpWBpfn8/GmFtY3BMwGhtVF3qRxEtNqtSdoRl1qin34PamXmoMrCpi9usF8LMBmJVNWq0OTbCIeS9A7kwOcjN6/Q6FQKBQ9cOPfP+ayv8zLqPGa1eqyvyMeQggee+wxJk2axPLly6moqOC1117jnnvuyVh0CCF4ct4Gjvuft3np4y17PSdrLkAoEmP2qgaC4fjr2JHBS9QZinL5I/NMqwvEE4y3tnTabDoHC5/vil/325SmSZ0QwsyRKC/wmFeVZeQonuPh4vghelfxhfXNBMNRs9v18MpCivPctv3eeeGRVBf5qG8MMObONzj5ntkEQlHGGIvbXW1dtAXDFuERt9SUFcQjHnM+bwRg+dbWlOV1ZbTD43LgcztMwZAoDmQFpNJ8jykOdu4JmpGRfn3yTFvR5zvbTKFSahEe8WhKcsTDmlwO8QX24k27mfbofM66/33eWLnTdpsVTdPMK/lrdrbRsEcKDy+DjKhEdxEPa2PCweUFpljpW5xnJqjLc8U6Q8AMLPPjdPRc9EEu9PumiGSYla0aAja7VzqsVqt13VS0iu/fGvHQH0seJ6dDM3uJKA4tshEeLcBg4++BWd5XoVAoDgusVgr5/8zl21m4oTllM7FEvqjk8tbWVq644gq+9a1v0dHRwemnn87y5cs5++yzM95HS0eI7zy1mNtf+ZTtrUFe/WTvbUy7E0RBopjpyKAdxD8Xb2b++mb+uXiLeQXdGk36dFtyx+r2rojZ62Ffs6M12G1Vo1RYOzun644dCEWRuy3Kc1saBXYQjsboiugCrsDrYkhFATXFProiMRbWN1tsVn2S9luc5+b3XxmH26kRjQliQt/2p2kTzRyO+sZAyoiHvH1jU8AUN6FIjBVb95CIFIfFeW40TWOEsXhftqXV9tmQPTzK8r2m8Ph0WyuRmMDt1Kgs9JmJ1BubO0zhUpIfF1R9zV4e+pyjMWGW100UHnLx/fcFm/hwXROrd7bx4Nuf225LREYq1uxsM88PlYUWq1U3OR67LIt+j8vB1BEVRsf1IvKl1cp4P1tL6WbCaSOrcDo0ThiaXA5bzm3p5t1mc8VMrFYbmwIsMuxz3c3Dept8rEkD+1BZ6OWMI6pMG5ji0CKb9rIvAu9pmrYdPbl8kaZpKU/5QojBqbYrFArFoc4Nf/+Yd1btYvaPpzKgzG9bvO5sDZoNv1IhhPhChMeCBQu44oorqK+vx+Vycffdd3PLLbfgcGT3xf/dpz9m3vom8//EfgW5ICMe+R4ngVCU2at32W7vjHR/VTcaE/x1brzKe3tXhOI8t62/xYqtezhxWIXtPuc/OIeWzjD/uXGKLQm2t1m8cTdf/vOHXDl5AL++eEzG97NWp9rU3IEQIqmssYx2uJ0aXpfD7LWwq63LFk3L97rQNI0Th5Xz/KItzPm8gY83tQDxxPJEpgwrZ/EvzjD3U5LnIc/jZHB5AY3tzaxvCJjRO6vwKDOsVos27rYVBvh4426zXG/i/EuMiMuIqgIqfIKGYIy3P9vJReNrgXgeUFmBxxQHSzfr868pzsPp0BOny/I9NAVCZk6JNeLR18jxkFW4HnhrDQ++s5ZfXXRkSquV5Ki6PlQX+fivIbLTLcxlZGH1jra41arIZ85h554umtq7zKpfEiFEUsfwR78+iVA0htflNKtayXNFfTeVpFJx3tgaTjuiMmWlKikMpB0Kuo94yGjPuoZARhGPISkiHiV+Dwt/djqgNypVHHpk/K0ihLgW+BJwL3py+aPAA2l+FAqF4rBkyaYWojHBZzv0K7jNFuGxI0UZUCutnWGb2NjXwiMWi/G73/2OKVOmUF9fz8CBA5kzZw7Tp0/PWnQ0tHWZouOuL+nJq7tS9DrIFmmDOnqQ7vSVCbySnnI8Xv90hy0iIBez1o7eKxIiHmt2trGhqYOWjjA/fmHZPu2Y/skWfYG8xFjoZ0piP45UdjEprop8esRAJj3v2tNlRny8LgduI/Fbiq+3V+3iky36azIpRcRDUuRzU1OcR01xHnlG1+nBlv4MsqpUrVV4GBEPKTryjAXvohTd0M2KVobw0DSNiWX6Hf+zbJs5TkYkygq8VBj7X75Zn79V9MjEbHn1vo/NamVvIiitU7/+72dmcneFIQpOHVnJxAEl3HTaMP5x7bE8NG0CM748lnH9irl4Qm3K10oKjyWbW+gw+vRUFnop9rtNi9rT8zcl3W9PZ8S0FsqFvaZpeF3661bg1X9bczz05525WE5XHnfKsHKOGVRKbUketSV5HDOwlMmDy9LuZ0R1IWeMqjLHj6kt5qwjq9OOryj08tVJ/blkYm1Kq5fi0CSbiAdCiFkAmqYdBTygkssVCoUiTjgaM20fciFo7dDck/DYklDLf1/meOzYsYOvf/3rvPnmmwBcdtllPPzww5SUlPRwz9R8sFb364+qKeL0Iyr5xb/0BWEsJmzVcrJFWq2OG1zGu5Yrr8OrClizs71bq5UQgoffX2/bJhfjNqvVVrvwsFZrWljfzOMf1POtE/dNIF/mJ6Trmp2KQFfEbLJW6HXR1hVhY3NH0tVyWdGqyFi4V5kRj6CtopXkhKHlaFrcrlNe4LE1rMsEKTzWNQTYYiyC+1sWweUJc/z6cXU8/P56Fm9sSYramBWt/HFL1MTyGK9vdfDemgZaO8IU+91mVKzMkuPRZnx2rMJjRFUh89fHBU6fFFWtdrXpFZmksJN2NIDyQo+xTz8vXX+C7XlcdnR/Lju6f9rXRQoPGT3J9zhNm9S3ThzETc8t5cl5G/jOyYNtQkCeM0r8qftnFHj110aeK+LRkfRJ4JlS4HXx/HeOy3i806Hx6NcnZTxe0zR+d+nYXKamOIjJyUAnhPimEh0KhUJhZ1dbl3klVwoPq9WqpwhAovCwLo6fmr+Rv324oVfm+frrrzNu3DjefPNN8vLy+Otf/8pzzz2Xs+gAeP9zXRScOLyc8gKv2bStuZs8iY82NHPXzJV0hlKrh1hMmFWtjrVcafW6HKYtpzur1UcbdrNscwsel8NckMrFuPW13dDUYbNeSeExzOgpMOP11azdtW++8uTV+t0dYfN12N7ayZ3//jRtpSN5xb68wMuRtXqPho1NycnJbWbEQ1/gmhGPti5bRStJab7HvPoOMHFAn6y70kt7zoL6ZkKRGA7Nbk2SEQ8Al0Pj2ycNxuN00NjeZYopiczxKLIkt1f7YXhlAeGo4PWVO4B4T5CyfE+SsLFe+U9smNfHImjK8724nRpCwGsrdiCEHpGQr12+x5m2OlMmlBd4bOV7Ky2WpfPG1FBbkkdTIMQ/F9tzmHpK6s43Ih5SaFlL7yoUByI5Z+5omjZJ07QZmqY9p2naS9af3pygQqFQHCxYy2tK4WGzWqUo1WlFeuJrjURXeVW6MxTljldWcMe/P01Kts6GUCjErbfeytlnn82uXbsYM2YMixYt4pprrsl6gWlFCGFWKDp5WAVup8P0rncntu55fTWPza3n7VU7U97e2hk2k6OPqCkyr86PrCkyF3HdVbWSiegXj681u0hLgSEtV5KV2+LJzVJ4/Pz8UZw8vIJQJMZ9b65J/0B7QYMlD0ZGPf724Ub+78MNfPvJRQTDyaJMXo0fUV1AXakeYUiVYG5arYyFuxRfu9q6bBWtrJw4LJ5k3J3NKh2DjIiHFFQ1xXmmlQvA73GZ9qqJA/pQXuBltCGeEu1W1h4eVs4bo9t3pN1KftbKCryUFyYKD3vEw4o14uFwaKbdSu53ytBy0zY4eC+b2VkrW0H8WAC4nA6umTIIgMfm1tsKDcgytumERKER8QhFYnSEImYErbtcDIXiiyQn4aFp2uXAh8ARwMWAGzgSOBVILg+iUCgUBxHbWjq56KG5PP/R5qzuZ2soZkY8srdayQo48qp0c0fIXIBvSHFlW7KuoZ2L/vRBUldpgHXr1jFlyhTuueceAK6//noWLFjAqFGjenpaJqFIjKueWMgNz3xsLixBXwg3tHXhczvMKkjxRW765yxzANIJMmmhKfS58Lgcpl1ldN8iinz6gitdjodVDJ09ptpcfMdzPPQ7up264JJNCXe1BdnUrPevmDCghJ+eOxKAWSt2pIwqALR2hPnx88u44pH5KYWCRJb1tYoY6+so+1PUGxWO1jUEmDFrddJ+1hgVrYZVFjKgTL+in6qkrmm1Ml4rmVze1N5lLurzk4RHPMk+Mdk7EwaU+s1yr2DP75BI0ShFjnycRRt38+S8DZz9h/eZt66J1k57h3GJFB4frmuiqb3LXGyXFXjMPAyJNeIxLFF4+O2CRpbUXVCv5ypNrOvDReNrefbbx/K/V07s6an3iLVHRWWCQPrq0f0p8rmobwzw1mdxIZ5pxAPiFjmP02GLrigUBxK5RjxuA34ohLgACAE3oXcufx5Izo5SKBSKg4j565tYtqWVP727NuXtoUiMUCS5J0fKiIclQmEVJsFwNKmvhxQeIw3hETC6EVvtWpvSlOQNR2P84LmlLNvcwm9f/cxcWAI8++yzTJgwgY8++og+ffrw4osvcd8DD5KXl7wo7I6PNjTz7uoG/vvJds55YA5zjYX9nDX672MHl5lJr9JKki7iEYsJU5Q0tKce02zx7gOcdkQlAGceWW0mHHemWeevbwywtaUTj9PB5EGl5uJ7jyE4ZDRgQn990fupEfH42Ih2jKgqpMjnZmR1EScPryAm4K9z6hMfhsUbmzn3wTm8+PEW5q1v6jZJfN76Ruavb7ZZ5hotndll13pr9OLxD+r5cF2jbT/xiEchdYbwSFWqWYqsojxdXJTle3FoEBNxoVKYIDwmDujDoPJ8BpT6Uzad6wm302HLC+mXQnhMHlRKntvJuUbjRik8/vHRZm5/5VNW7WjjL++ts5XTtVJX5mdMbTHRmOC1FTvMvKryAk+3EY/iPLe5gNe05P3KkrpS5MuIz3FDynqlspldeNiFRL7XxRWTBwDwosVu1VPHcJdT73EC8R4elUXevYpgKhT7klyFxxDgv8bfISBfCCGA+4Fre2NiCoVC8UVhdoRu6ki6yh0MR5l6z2y+/OcPk+6XKuJh7by9q62LaEzQFgwz5XfvMO3RBbb7S6uVjHiEojG6IlFb1GRDY2rh8afZa/nEuGofCEX5+4JNBAIBrr76aqZNm0ZbWxtTpkxh6dKl7CwdyxG/mMW8ddmVq5R5HA5Ntwh97fEF/Pa1VbyzSi9xa71aXtlDxKO5I2RWqGpsS20fk6+hvHp73UlDWHr7GZw8vMJcNHakyfGYs0af69GD+uD3uMzFd2LE41ijcZ6MeJj9KyxX+79zkp5Y/sLizTYhub6hncsfmW8KBoBN3XQRl70qWjvDdIQiCCHsVquWIEIIU1yeMFSf263/XG4TurKU7vCqwsysVobokmVlIV52NTHi4XE5+O/3pzDrByeaIjJbrCVU+5UkC48Zl45lwc9OM0tLTzRe66jRdwNg7tpGc46JEQ+AC8bpomXm8m3xcrr5XvI9TtPK5XJoSRYlmedRnOdOarBXY1ncF3pdDKu0R0j2FmvX8coUHcBlRax3VzeYx26z8V7ozjol7XLrjNwfZbNSHMjkKjx2A/ITtBUYbfxdAuy7gucKheKwIxoTfLiucb8204tZGgxIu45k1Y42trUGzUW+lZTCw7JQjcYETe1dfLKllcb2EB9tbCZsiXrIBezI6iJzW6DLLjw2pljYfrKllYfe0aMzZ46qAuCRd9cwcdIxPPHk0/gHT+K2X9zJ7NmzGTBgAP/4aBMxQVIiayKbmzts/SJkZON/LhnDlZMHIAT85b11Zhndkyz5AZWWfIJUWKNDjT1EPKTwcDg0Sgx7TJEpPFLPXR43KYYKzYhH2Pb7OCNpfV1DOx2hCIsM4WHNbzhuSBmja4sIhmM8NS9uY5u3volwVDC6tohLJuqLxg1pmvlBXNyA3i9iTzBCyHL8t7d20tDeRUcoiqbBQ1dMpLzAy5bdncxcrucdtHaE2WlEkYZXFZhWq8b2rqQqaIlVrSC+4F1nLOoLfMkJ036Pa68Sqa35EKnKurqcDlMMgX71/0vj+zK2XzEvX38Co2uLiMYEqwxLWVFesvA4b2xfQE9il+Vpywo8aJpmVp+qKfEliQvZhLDUn2xFqrGIpAl1fTLq/J0NwyvTW630uRUyrLKAUDTGG5/uZHNzBx8aFwcmDEhf+EEKj7UNPTf5Uyi+aHIVHu8DZxh/vwA8oGnao8CzwNu9MTGFQqEA3Vs/7dEF3DNr1X57TKsDas7nDbbb1lg6Rif2d9iRMuIRThojrTJCxBfmrZ1h8yr8gFK/edW2PRihpdNitUqxsL3/rTVEYoLzxtTwxysmUOCIsDsYY1fFRAZc8yAVX7kT3zFfweVysampw1wcz/m8ASFS96gQQnD5I/M5/8G5rG9op6Gti5Xb9Sv2px1Rxa8vHsOfr5xoVv2pLvIxtDK+4DSFRxqrlVWkNaQRJzJalMqv3p3VKhSJmWJI5hGYVqvOCLGYMIXskIp8Kgu9xATc/MIyUxwcNaDU3J+maVx70hAAnl0YdxPLKMOkulJG1ehiMdXxkXxqSWDf3tqZJLi2tQbN+/ctzqNPvodvnjAQgEfeX48QwvT/15bkUehzU5znNiMCiTa8PQlVrSBu8ak3FqmJyeW9weByS8QjhdUqFX+4fAL/vnEKo2uLucAQFZKSFMKjtiSPo+r6mFXkPC6H+VxkVKdfSbLoGWGIemt1rfg+LY0B0zRO3BuK/W4zqpIqKqFpGheM05/7f5Zt4/EP9ETzKUPLOaKmKGm8JN+MeATS7luhOFDIVXjcCDxn/P1r4D6gCr27+TW9MC+FQqEA4gvU+m4WdL2NNeLx4domWy6GNQIQTVi077QssjvDUTpDUTM/Q1483dEaZM3OeJlUeeVf2qzK8vUO0PJKdFtXOCHikfw6yITzC0eVcNmll7D5nacAKD7+crQ+em+BV5ZuJRKNMWdtXEjtauuyzcVKa2eYrS2dhKIxHptbb/bpOLJvkbmwO2dMDa/edCJfOaofd154pM1XbuZ4pLFaWUVauoiHtND06U54pIh4fLxpNx2hKOUFHo4wFpqm1SoYJhCKmAvWojw3088eicuh8eonOwhHBeUFXvqX2hfMp46sNOfdahwPacOrK/NTV2ZYniwRqdc+2c6sFXpH6+ZAyGbJ2tbSmSS4trd0mmJG5klcOXkAfo+TVTva+OfiLfxq5kpAT0aW1BljE+1WiVWtIC4IZa7LPhEePUQ8euI8I/dDkpiLITnfMq4832O+/2SCeSrRc87oai6b1I8bTx2WdJusagW5JdZnws/PG8WVkweYDTETkc9p7tpG/mEUt/j2Sd33kJHHUFrTlPBQHMjk2sejWQixzfg7JoT4rRDiQiHEj4UQu3u6/4FAIBCwXekLhUIEAgG6urqSxgUCAWKx+MIjHA4TCAQIBoM5j+3o6CAQCBCNxi/XRSIRAoEAnZ2dOY/t7OwkEAgQicS/jaPRaNZjOzrsX2DBYJBAIEA4HM5pbCwWM18fK11dXQQCAUKhUE5jhRDm2FTHM5uxmRz73nifpDqevfE+kcdzb98nicdzb98n6Y5npmNjQiAiYZpb9qQ9nlbka7k3x76zI0AspPvt27oiLNvSYo5duSWeFxGz7DcajZoiQkQjxEJBtja1mpGPQeX5xEJBNu1sZvX2uOVma1MbgUCA9Tv0U6dcLOVp+j72dIRM8SJiUXY2tdLUau8psau5lVgoyNXTLuXf//43XSvfxi3CxEJBjqsroI/fTWN7iPnrm5m9Yov+3GL6+2TO5w0pzxHbWoLEwl3EQkFe+Ggj/1q6FYApQ0ptx75fHz/3fGUcU4eW2I5nVZEXEYuyvakl5ftk085mRFR/TzUFQkQi0aTj2RzoQkTCFDgiSecIZzRELBQkFNPM/Ad5jnjnU2OuRkO8QCCAR4QRQrDHiCyJaBhntAstFuHLR/XjheuOo18fH7FQkIl97QvWUCiEFumiwq8vbNfJqlPbmoiFgvTv4zOTvOt3tdLe3s725jZufHYJ333mY7a2dLJo7TbjPRUzX98du9uJhYKUejVjWycbmzuIhYPU5OufsxK/h8sm9UdEI/z47wtpaQswtl8x352qR2A6OjqoyXcgYlEzv0R+7ne36v+bFcA6Oyl2R81jD+Bz0uvniGGVBTiJ4RVhitz2AgqZfO779fEzcUAJIqIf43y3lnLseWNqkFq3xKuZn3sp2gZX5Ce9p/K9Lu66YCSTav1J54g+nhjOaBdup8Z4w9rU0zk/2++S88bW8OuLx0AsmvKcX+XXGFHmJhKN0hGKMrK6kOMGFnf7/eA3Xp9QNIaIRSn2xA6ZdYTiEEQIkdEPegL5Phu/v36AIkAAYteuXUJyLzkBxwAAIABJREFU9913C0B861vfElb8fr8ARH19vbnt/vvvF4CYNm2abWx5ebkAxIoVK8xtjzzyiADERRddZBtbV1cnALFw4UJz29NPPy0Acfrpp9vGjho1SgBi9uzZ5raXX35ZAOL444+3jZ00aZIAxMyZM81tb7zxhgDEuHHjbGNPPvlkAYjnn3/e3DZ37lwBiKFDh9rGnnvuuQIQTzzxhLltyZIlAhB9+/a1jb300ksFIB566CFz25o1awQgiouLbWO/8Y1vCEDMmDHD3LZlyxYBCJfLZRt7/fXXC0Dccccd5rbdu3cLeTxDoZC5/eabbxaA+NGPfiT+9a9/iVAoJEKhkDl29+7d5tg77rhDAOL666+3PZ7L5RKA2LJli7ltxowZAhDf+MY3bGOLi4sFINasWWNue+ihhwQgLr30UtvYvn37CkAsWbLE3PbEE08IQJx77rm2sUOHDhWAmDt3rrnt+eefF4A4+eSTbWPHjRsnAPHGG2+Y22bOnCkAMWnSJNvY448/XgDi5ZdfNrfNnj1bAGLUqFG2saeffroAxNNPP21uW7hwoQBEXV2dbexFF10kAPHII4+Y21asWCEAUV5ebhs7bdo0AYj777/f3FZfXy8A4ff7zW0Pv7dWFIw9UwDi7rvvNrfv2rXLPJ6SUCgkzj//fAGI2267zdze3t5ujm1vbze333bbbQIQY8+6Qjwxd725XY7t971nRN30meK+N1ab54iKSeeIuukzRd30maKjK2KeI5Z9tsbcXnPWdwQgzrnoUnPbDc8sFo68Iv3zdd1fzO1fv+U3AhDjp5wh6qbPFNc/vVgIIUReabUAxJ+ef038+Pmlom76TFF2/o8FII47aWr8uXUEhbtsgACE5vaJESNGiCVLlog//PVp8xzxkxeXi7rpM8WPn18q8voOE4A4/5YHRN30meJrjy0wzxGlA4aJjq6IEEKINz/dIbz9R+vH7qKfmPP98z9mZnSO2NQUEDVXPdjtOaL0jOvM/S5YsiLpHPG1xxaI/NGnpT1H4HCKuukzxbbmNiFE/Bwx7OxvirrpM8U/F222nSMG3PwvcfYf3hefbW8VRcdcIgBx8803m/tt3BPo9hwx9ORLRN30meKFRZtFLBYTOJz653PZatEZioi66TNFydRvCkCcffFXzef28HtrRV5+of5afPthUTd9prjlhaXiyh/eKQAxcNKp5tirn1gonAWltnPEpqaAqDjvB/pnY8jR4vOde8y5yXNE1ZUzxG0vLRdCxM8RxYPHibrpM8WiDU1CiPg5ovKyu8zHm37fE/vkHPG/L8zaq3PE43PXC/8o/Tvq9/feJ4TQP98PP/yw7Rxx+cPzRN30mWLYSReZ54jGtqB4Zv5GsX7ztqRzhBBC3HTTTd2eI95atsHcLs8RN910k20f+3odUXP1n0Td9JnixcWbe1xHfPXup8zjKc8Rh8o6wvgpEgfA+lH99M5PNhGPtZqm/UTTtJp0AzSdMzRNew34fhb7VigUhxGJuRHdEU2uWtvr1DcGeDRFqVTZj+B9S56Htcu21WrVaNhmivPcpjVE5hFomr15WcCyD9ldutPo/yAjHvJKbmcoZrNaAQRD+ouyefNmzrjgEnP7madNZdGiRYwfP960/kC8AtBLH28xX8/zxujbFqxv4pOtLcZcIry3Rq9QJZvZWclzO5OasKXD2iBNZHC4d6focN4c6L7Tu2RPgt9K2rumWJLdJW3BsK1ruRVrwnPK243jWt/YbiuDW1Psw+d2UmWpVGR9Pv9Ztt18rww0jsv21qCZDJ7ncZpdtBfW25voAfQv9ZuVn4ZW5jM0TbWldQmdziPG56y75+Vz51a5qicm1aW2EmXKeWNr8BiNB7tL8p5mlKC1JouXFXiZNnlAzjayY4ckv2/2N3luJ4PK882cj+7YV8dQodgXaCKTbwRA07QRwG+A84BlwCJgGxAE+gCjgOOACPA/wMNCiPSdlL4gNE0rAlo3btxI//79TU9oKBQiHA7jcrnweuNfHjLUl5eXh8OhnwTD4TChUAin04nP58tpbEdHB0IIfD4fTqd+0ohEInR1deFwOGz19bMZ29nZSSwWw+v14nLpJ91oNEowGMxqrKZp+P1xb24wGCQajeLxeHC73VmPjcXiod/8/PiCqKuri0gkgtvtxuPxZD1WCGGGaP1+f9LxBHjrrbc499xzcblc3Y7N5Nj3xvsk1fHsjfeJPJ57+z5JPJ57+z5JPJ5vf7aTm55bym8uHMFpIyt6fJ/8afZaZvx3BS4txsq7zzNfd+uxl2PD4TCvvPIKp59+On6/P6P3yazlW/jec8upLi1gwW2nA/DQ6yuY8fpqjh1ew8INu3FoMH/6yazatpuvPb4YzaXPd/mdZ+KM6gvMjza3c9X/LWJEVSFleU7mrtnBdacM5ZEPtlCc5+b280fxw2cW4HE6CDtcaJr+PrlgdAW/vfhIvvfsUt5Z28JdFx3J144byFWPzOGdVbv4zaUTeWX5dj7asBuPQxAMdjH9nCOoDazh6quvJuCroOqK31DsirH0N5ekPPYer49j/+dtGtq6iIW7OPvIKv70tWM48Z732bEnSJ4LAh1B0DR+duE4vnPyEH43axV/enMllx9dy4f1e9jSGuKUERX89etHZXzsx9z+Kq3tncz83hTGDqqyjT3vD++xtimI5tTfU09+82iO6pdvO54n/PYdtjTu4blvH81RgyqSzhGn3zub7R0az197DMcMrqCrq4t3P9vOtc8sZUBFEXNuPdU89usb2jn/zx9RnOfmD5eP55uPzWNUVT6vfP/kjM8nTy3YzG/fWMc5o6v51omDuPiB2fQt8fHhz8/B4XBw2V/msWDdTmZcciSzVzcxa1XcllfgiLAnGOH604/gL+/XM7gin4m1hTy/cAM/OGMEb63ZbSbvx8JB/nndcRw1uMo8nu2dQdZtb2FE35Kkc8TyLbv56l8XU16Yx+JfnEEkEiEYDDLml28inB4W3HYaVUU+Ojs7WbKxiSse/xjNoe/3sa9N4NiBxQfUOUKyaVcLLgdUFOfjdrsJh8PMnDmTU045BbfbbY7d0BigLM+Bg1ja74e9/S5Jd87P9bukp3VESwjyvW5K/J4evx/+8E49j36gV1sTsSgf3zYVv9d90K8jdu3aRV1dHUCxECJemUFxUJPx5QAhxGrgy5qmDQC+ApwIHA/kAY3AEuDbwGsHouBIJD8/35YI6fF4zBNQ4rhE3G63+aHJdaz1AyZxuVzmBzfXsakagjmdzpRzy2as9WSXy1iHw5FyrNfrtZ2gsx2raVrKsfJ4Wr2kPY1NZG/HZnPse+N9kup4Hgjvk8TjubC+mfauCEu3dXDhUfndjgW9BK3mchMFolr8yl664ykXJImv56Y9UYZVFiR97oPCre/fEllx+fJweHz0K/WzJxhh1Y423l27m1AkZooO0CM3RcYcdrXrV6qrin0U57lxeHxsatGvaJfme6gu9uHw+IgAGnp34VA0RkNHlPz8fHYE9AnIZNySogIcnj10RoRZGWt0vz58vKmFf7z2LnPuvwGAsWefS6vbx6B+xeaCApKP/Xljavi/DzfgcHs5bUx/3G43Jw4r54XFW+iMgMOjHzuZvL69pROH28uQmnKmHjmA6S8u58rJdVkd+6qSfNpCgraoM2lsY5eG5nRRXuChsT1Ec0c4ab9NgS40l5va8j62z518n/QpLmJ7R5vZm8Pr9bKyIYTmdJtX3OX7pDrmQtM02roitHaG0Zxu+hQX2vbb0zliRG0psI71DQE2NnXg8PgYVF1mLiYHlPlZuMHNrg5Y1aAvpEv8blo6wrTHXDg8Ls4aXcNf3q9ne0uQ5rJ8HB4fNWVF9C3pNIWHw+1jZP8K2/EsyPMxbnB10tz8fj9jB3pwOJ00BUI0tndRXuDF4fEhnEbpYSPikZeXR111mSk6AEoKfHv9ue/tc4RkQGVyCVk51vr5HliefF9Ifzxz+S5JZF99P8ix1rv09P1Q6I8/l9ICH2UlyRWwDsZ1RKrtioOfrJPLhRCbhBD3CiG+JISYIIQYKYSYIoT4nhBi5sEgOhQKxReHbM4XyzDaah1n7cadDf9eto1zHpjDH99J7kQuLTHWx5F/OzXNrDLzn2XbbBWtIP5cAHYaieXVRV6z07a0vpT43UmNzI4epFtnZCUsWdWq1rBayRKZbV0R02rVP18XJ6u36lfSb7nlFm65/VdAvJJPOqTdCmCK0dvixOHxhn+yD4Us57rNeD41JXmcO6aGT+48i9NHxaMWmZCuiWAwHDWPpeyOnVjZqiMUIRjWn29pitKnEK92tMdinZINACcmVCUqNKqECaEndlu3ZcqQcr1aU31TgA2N8YpWElld6tNte8ySxTdMHWreXluSZ5ZF7QxHzfdHRYHXVlGpNN/To+3Lit/jMhOq5XtU2s9cDs3sbC0fy0piA0HFwYfVUpZ4nlEoDjRyLaerUCgUOSG97tEM8zys+SCJXv5Mkd1/t+xOzluQ0QTrfORjOjSN842eAh+ua2L+enunb2uOhywPW13ko4/hN5dlbvv49YiHlZOMxf+O1iCtnWFz8VxrNDGT5XTbgxGzqtWT998FgLesllmzZjFjxgx2d+jXesp7EB4TB/ThW1MG8YPTh5mPceaoKi4c15c7LxjF5UfrXnlZDlbmePTdi2Zk6Xp5yOpfeW4ng43FfGJpWVkNzON0kO9J7WGXwkFGPKIxwZJNRufxhD4MPrcTr0v/ypNlbQuzWNyDLgo9ToetT8gAi/CQf79r5MnUluRx2dH9zW7co2uL8LmdZl8SWf62vNBLjaWHhBQR2TDcyL2RfWaspXRtUT6Xw8wngX1TTlexf7Eew8TzjEJxoKGEh0Kh2K/IRX1iD4x0RHsh4iFtVKmiLLKzuPU2Od7h0BhYns+Y2mKiMZHU88K6O9lvpKrYZ16hD0f1AX38Hgq8LtsCQXbU7gxH+cyw2JTme8wr0AVG5+gtzW1mknD7pk8BcJdUcdrpeg9XGSmQ3ZrToWkaPz9/FD84fbi5zed28uAVE7jqhEHmlfttLUG6IvHSwNZuztkS7+WRIDykSCv2mfNuaE8tPEot/RkSkRGPVkOQrtqxh0AoSoHXxYjq5ARsmRy+1RCg2UQVQE9ylq+TjKzUlcbtIDKhX0ZqRtcWUZznZuoIvQfIuP66dahviX1xWFHoNcWgvp9chIcu4FYb71EpxopSRHVkE0FQwuNQwBq1Uj08FAc6SngoFIr9igwsZFrYwhoYyVl4dBNlMa1WsRRWK+MMabUpObR4M0Dr/uRiuqrQZ1qtJPIKs6x65HE5GFFdaC6c5SLW2vBMRjzemPsRACLcxd3Tb8LjchCNxe1CsrpST1arnqgs9OJzO4jGBMu3tBKOChwaVBXmvt+41couKkyRVuQ1522tEgV24ZEOuaiWV/c/Nl7HCQNKUlZCkuPjEY/sF92DK3RxIQ99KquVZHRf3UZ295dGc+vZI7jq+IGAvVEd6E0jrdsS95MJMuLx+c7kiEcilZbqW8pqdfBT4FNWK8XBgxIeCoViv7I3VqtchYcUOSkjHobwiKbI8XAYV9rPGxsvaVlXlo/bUCQ24dGqL66ri+NWK4nsvC1tEMMqC3A6NPPqZKLwiMVivP/2G/pjePWr5GWFeUyffqtpw5GWKGlRKt8LgQB6RETue/463UZUVeTD5cz9a6LCtFrZczx2Wmxpct7prFbdCw97jod8HdN1nU6MeOQmPAps/1utViV+t22fMn+lqsjH9VOH4jeiWFb7WqHPhc/tpMaybUBZ9km1MsKzemcbQgjTlpgqqiOPi9flMN/LioOXAm/ciqisVooDHXXGUSgU+xXTapVhf46oLccjV6tVd8IjbMwrebwUHrUleeZidnhVgXk1Xe4uHI3RZPScqCryUVaQGPHwmLdBvKdHVXGi8PCzY8cOzjrrLJ5/5kkAnAX641aW6IvRgcZCVyYvm1arvYx4AAwwbEPz63XhUbOXixhp6UkUFVKkVRX7LBGP7IVHcZ6+kJeCdFFPwkN28DZ6pmRrtQIYbKmg1Mfvtu1D0zRbBOTI2uTqQmC3r0kRUF3sM3u35GK1GlxegMuh0RaMsGNP0BLxSG+1ykV4KQ48Crzx96CyWikOdHIWHpqmnahp2tOaps3TNK3W2PY1TdOm9N70FArFoUb2Va3if+8Tq1WKHA85zGrX+daUQWganHVktSlI5H53tXUhBLidGmX5nqSIR2m+vjA4YUg5TofGKSN1z3+1YXmRz6t1Wz1jx47lrbfewq3ZCwRKW5ZsQLfeqIgkcyMq9jLiAfEF76IN+gJ+b/I7IG7pSWe1qi7ymfNuau+yHR9ZEKC7K7gygtEWjLBzT5AtuztxaDC+f3IZVuv4+P97F/FIFZmQOR+VhV5bLoUVq6CTgtHtdHDc4DIqCr1m5ats8LgcZlnZ1TvaLDkeKaxWxmuubFaHBvmWiIeyWikOdHISHpqmfRl4HegEJgDyG68YuK13pqZQKA5F5Npyf5bTTRdlicUELbIiUkqrVXzsOWNq+Pzuc7hkYr+kHA+5kK4s9OFwaLaqQQAlhhD58lH9+PSXZ5ndiBOvTv7xt3fS0NDA2LFjefyRP9tuk2JmuGGpWbOzjWA4anbh7o2IhxQeXRH9hdqbilYQX+C2d0XoCMUrklkrgMmIRkzYu32vNnIVhnfTKV3mbLR2hs2O3yOqi9JWq0q8wp9tVSuAIRWWZPIUuRjSeiVtVqmwJpJbc3OevmYyc6efknPC9wgzz6Od+kZduHWX46ESyw8NCq0RD2W1Uhzg5Brx+DlwnRDi24B1JfABMHGvZ6VQKA5ZYlnmeNisVsEchUeahPa2YMTcvxDx202rVUKCssx3iFut9HGdIT06Ia88upwOM0IBdruQz225OpmwSIi07uKGG25gwYIFjB4x1HZbiSFm5OJy9Y52057kcTpSVi/KlsQyrolJ0NlS4HWZPSSaLMnjsmJWVbEPt9Nhvj7y+QghWG2UhR3RnfCQfTw6w8xasQOAE4eVpx+fIDRysRqV+D3mfFNZoi4c15dx/Uv42nF1afeRymoF+vvN60pdOjgTpEh78eMtvLRkCwAnW3q1SKYMLeeYgaVMmzwg58dSHDgU+91celQ/vjqpf9JFD4XiQCPXb6oRwPsptrcCqWPcCoVCwd41ENzbHI/EEr7WK+z6Y4FTszcQTEWi1SoxJwT0SkUyQlOSZjGweskCIH4F/cm//IHLv/wlAAqC9rnKqMkwo2xqY3uX2SyuotCbtuRsNtQlWIf67qXVStM0yvK9bG3ppLG9i/6lfmIxYTYUlLaQ8gIPzYEQDW1djKzWK1zt7gijaTC0siDt/osNIdEUCPH2qp0AXGApBJBIorUqlxwP0Oe0sL6ZQSk6Zh9RU8QrN5zQ7f2rCr04NP39Vp6mOWIujKjWX6tVhmi7/Oj+nDA0WYiV+D08f91xvfa4ii+e339l3Bc9BYUiI3KNeOwAhqbYPgVYn/t0FArFoU7WVa16w2qV5jEThYcpilIICSsyEpIoaKw5IdYoR2LOR3t7O9/85jf57R0/NbcV+5ym6IBk/70UL36Pi/6luiD4cK2eBN5bi9fakjybvSyx30QuyLnJiEdzR4hwVKBpcSuWvOovIx6yJGxdqZ+8NM0DIS4kOsMxguEYA8v8jE6T0A29E/EA+Mk5I/n2iYM4Z3RNz4NT4HI6zPyP3rDISYZZokP9+uTx8/NH9dq+FQqFojfINeLxKPCApmlXAwLoq2naccDvgbt6a3IKheLQI17aNrPx9qpWuXUuTxdlSY542OeWaLWSyEiI3J0QyUJFltAt9LpsJUuXLl3K5ZdfzurVq3EVxKsvDSizX9lP9N9bLRQjqgrZ3NzJB+uk8OidxavH5aBvSZ7Z4X1vrVYQF2Cy6pfMhynL95qvi5x/Y5t+PDLJ74BkIXH+2L7dRn4S8x1yyfEAvQv8xAGpK2dlyrCqAnbsCaaMmuRKXamfPn43LZ1hfv+VcSqHQ6FQHHDkelb6LXq05G3Aj2676gJ+L4T4Yy/NTaFQHIIkRhV6Hh//u9cjHgH7/pIiGGmtVgnjLZ3OJbKJoBQgQgj++Mc/cssttxAKhaitreWpp5/m2jc7CEeFLeEY9OhJnttpln4tzotHNYZXFfLWZ7vMjue9UdFKUlfmZ8vuTjxOR1IjxFwoS2gQuGuPLkAqLXOWwkNW6FqTofDwuBx4HIJQTH/dZdJ+Oqx5MF6XA4/ri6soP+PSsazYuodjBpX22j5dTgfPXnssHaHoXgsjhUKh2BfkJDyEfnnv15qm3YNuuSoAVgoh2ntzcgqF4tBDLtIT8y3SIXqlqpXxO+Eh00Y8TKtV6v2ZVqsEQeO0jJeCo4/fTWNjI1dffTX/+c9/ALjwwgt5/PHHKSsro3L+O2xt6bR1LZcU+Fym8LDmiSQuyHvTrjOgNJ8PaKK62Jc24pMNZQlWK5nfYe2ebVqtjLK7MrFcVvDqjjwnhGJ6f5URPYy3RjxSVXvan9QU5/VKRCmRkdXZl+JVKBSK/UVOwkPTtGLAKYRoBlZatpcCESHEnl6an0KhOMTIuqqVRXh0hqOEIrGsr1RHReooS5LwMAVK6qpWksSqVrEUOR4yWhALtjNu3Di2bduGx+Ph3nvv5YYbbjAtQdXFvvTCw+sym+9Z80SShUfvJSjLSk172zxQUp6vi4pmw2rVXcRja0snQgg+36lfw+quopUkzwWtYd1m1RNWa5ZqnqdQKBT7n1zjzM8Bl6fYfplxm0KhUKRELtIzDHgkCZRcSurG0lS1ak60Wgm7dcqZRniYVa1k9CZFMvoJQ0opJMi7f/s927ZtY8SIESxcuJAbb7zRlodw8YRaBpb5mTqiMulxrB59a8RjcEW+bW4VaRrV5cLpR1RRV+bn4gm1vbI/M+IRkBEPKTzicx7fX+95sXBDM/PXN9PWFcHl0DLKfzi2MsbovkVcfnT/Hsdaq1rlmt+hUCgUitzJ9ZLPZOBHKba/C/w659koFIpDnnheRKZWK/v/rZ3hrK1F6SIeLemqWqVoIGglMccjMeKxadMmrr3ySlbMnQvA1VdfzYMPPkh+fvJC+v8dW8f/OzZ1zwdrR2JrXxCf28nAMj/rGgJA70Y8hlYW8N4tp/Ta/pJyPFJYrYZWFnLy8AreW9PAz//1CQCDyvMzimyd0ldwz7nH4nb3LCSsEY/e6HuiUCgUiuzINeLhJbVocQO9b1pVKBSHDKbVKsOQR6JAySXPI94t3b69OWAXHonWqXTldBOtVmaOh0Pj5ZdfZvz48cydO5fCwkL+/ve/89hjj6UUHT1RYHQkznM7bY0HwW63Ku/F5PLeRlrOmozE8XjEwz7n75w0GMAUU5nkd2SLz+00xUyuPTwUCoVCkTu5Co+FwLUptl8HLM59OgqF4lAn66pWCQIllyaCsTRRlpaOdFar5JwNK+kaCK76bCWXXHIJu3fv5uijj2bJkiVcccUVWc9XUmBEPFJ1I7YKj96satXbSKtVcyCkNw80cjwS7WHHDSmz9eDIJL8jF6TgUDkeCoVCsf/JVXj8HPiWpmnva5p2h/HzPnA1cFvvTU+hUBxqxKMP2Ve1gtwiHun6eDT3aLXqKcdDH7d16zYANm7cCMCtt97K3LlzGTJkSNZztVJgLI6L/clWKlnByeNyUHgA92uQfTwiMUFrZ9hMlk+MeGiaxrUnxV+vnkrp5orM81DCQ6FQKPY/OQkPIcQHwHHAZvSE8guAtcBYIcSc3pueQqE41Ignemc2Pim5PBfhkaKSlhAiKcfDrGqVoi+HFRkJicUEf/3rX/nV3XcD4HW7mDVrFr/73e/wePY+70J2Ly9JUfp1woAS3E6NI6oLu22a90XjdTnNRf76xnZCRkZ+qijNuaOrGVZZQJ7byYQBJftkPvGIh7JaKRQKxf4m50s+QoilwJW9OBeFQnEYkC7RO/14/bfLoRGJCfYEs+9enqqqVSAUJWzsXO47Mf+kpwaCv/3dDN78230UjD8HgFNPOYWzzjoh6/mlQ0Yy+uQnL5JrivN4+0dTKU5hwzrQKC/w0haMsHK73p+jOM+dlLMCegO8f153PIFQhKqi3qvUZUX271DJ5QqFQrH/yfnMq2maA715YCUJkRMhxPt7OS+FQnGIki7foqfxJX4Pje1dOSaXJ5fw3W0klvvcDtxOB23BSJIoSlfVqiOgJ0DP/fBDXC4XX7r4EuZ0gD+vdxfLxw4uo8jnYurw5FK7AAOMnhsHOmX5HuobA6wyOq0n2qysFPvd+1RMnTKigmWbWzi6FzuGKxQKhSIzcm0geCzwd6AOSPxqFkDypSyFQqHAEvHIMMdDjivNd+vCoyMXq5Xx2yJ2ZPPAPn6P2R08lpjjkaA8YrEYM2bMYMUKJ95+o6iqqua5p+ayMlLJnP+s7JVO31YmDSxl2R1nHtBWqkyQCeafSeFR9MUlw3/zhEFcdfzAg/41VSgUioORXJPL/wIsAkYDpUAfy4+6jKRQKNKS2B28J6KWiAfkWE43RZRFltLt4/eYliozF8QYZrVabd++nbPOOouf/vSnCKE/iRn3/J7JkyfHq2Dtg8XsobBAlr08Vu3QrVaVvdjwMBcOhddUoVAoDkZytVoNAy4VQqztzckoFIpDn1iKRO9MxsuSsrl0Lk9V1UqW0u2T76bB6DERTy6XEQ/9/1mzZvH1r3+dhoYG/H4/I4YPZ2MnePPybPtNV373cKfcqGzVEdIjS91ZrRQKhUJx6JJrxGMBen6HQqFQZEVcBGQ2Xo6TZVn3JsfDKjxkxKPE7zFzORLHiWiUm2++mXPOOYeGhgbGjh3LokWL6Fdbo98u7M9FXUhPjTx2kgO574hCoVAo9h25Rjz+CNyraVo18AlgWwkIIZbv7cQUCsWhSarStt2O7w2rlfmY8W2ylG6p1WqVYMm64447WPHq3wC48ca06Al/AAAgAElEQVQbueeee/D5fDg+XJBy/L6wWh0KSKuVpHIfVaxSKBQKxYFNrsLjReP345ZtAj3RXCWXKxSKtMigQ7bJ5abVqpcaCDabyeVuMylc3r5j5y7Axfp1ayktLeXxxx/noosuMu+b2EBQWrOU1So1MrlcoqxWCoVCcXiSq/AY1KuzUCgUhw2Ji/WeiAsPffHa1hUhFhNZVZBKVdVK5hvke12mYGgPdHDVVT9kdeRIfP1GMeqIkbz05rP079/ftj85XuqYaJoqWAqd8sSIhxIeCoVCcViSk/AQQmzs7YkoFIrDg2iKZn7dj9d/S+EhBLQFI1n1eoilEDtRS5RCRjCuvuYa1s57neqv3QvAXb/6Ff37903an9QXiX0/lNUqNWUJOR7KaqVQKBSHJ3vVulXTtFHAAMD2rSKE+Pfe7FehUBy6pMq36Ha8saj3uZ1omi48uqJRIAvhkSK5XAoPh6bRuns34GHzlm3069ePYUccwfrWGG5XatdootUqqqpadYtM4I8J8HucFHhV13CFQqE4HMmpqpWmaYM1TVsGrAD+C/zL+HnZ+FEoFIqUxLuIZ2e1cjjiEYVYhqJFkirKIvf710cfZseO7QCcMGUKS5cuxV9QYDxmaiERt1rZRZRDRTxS4nRoZmUrZbNSKBSKw5dcy+k+ANQDlUAHcCRwEnpTwam9MjOFQnFIIhfpGVutRDwyIRf8kSyVhxnxsNxt564GAD5ZvhwNo4rVnXdSVlbWo5BIjHgIM+KR1bQOK+LCQ9msFAqF4nAl16/J44DbhRCNQAyICSHmAj8FHuytySkUikOPrBsIWnIxpPDYm4hHJBLh9ttvZ87cDwCorqpk+LBhxtz08aaQSCc8HLLTuX3/KuKRnrJ8PdJRUaQiHgqFQnG4kqvwcAJtxt+NgMy+3AiM2NtJKRSKQ5dsq1rZIh4y0pBhtEQiHyoWE0ydOpW77roLHHr+xu2/+DkF+X5jnF0UOdKcIZ2GvjCtVqqqVY/IkrrKaqVQKBSHL7kKjxXAOOPvBcCtmqadANwOrO+NiSkUikOTeKJ3huNN25Ml0pDpnRMeUwAffPABhYWFjB8/AQC/zxfv45FgA8vUaqWqWvXM+P4ltt8KhUKhOPzIVXjcbbnv7eh9PeYA5wI39cK8FArFIUosy3K6MZHCapVFxKOzs5NdDY3m/0dPnszSpUuprKqO7zehPK7cfboqVXGrlYp4ZMo1Uwax8LbTuGh87Rc9FYVCoVB8QeQkPIQQrwshXjL+XiuEGAmUA5VCiLd7c4IKheLQIrH3RY/jLfkTZnJ5NLP7rly5ksmTJ9PW3m5ue2f2ewwePNhip4r38TBFUQ85G86k8fbtimQ0TVP9OxQKheIwJ9dyuo9rmlZo3SaEaAb8mqY9nsP+btA0bYOmaUFN0xZomnZMhve7XNM0oWnav7J9TIVC8cWQaGfqcbwxzJrj0VPEQwjBo48+yqRJk/jkk09wOuM9P5xOl+3xnZqWHMEwhUfq/ZvWLEvuCKiqVgqFQqFQdEeuX5PfAPJSbM8Dvp7NjjRN+ypwH/BLYCKwDHhd07TKHu43EPg9usVLoVAcJMQsdqZMenmkslp1l+PR3t7OtGnTuPbaa+ns7OTMM8+kvCJ+OklMIHda+4MkVrVKZ7WS1qyYslopFAqFQpEpWQkPTdOKNE0rBjSg0Phf/vRBz/HYleUcfgQ8KoR4QgixErgOvTfI1d3Mwwk8A9yBSmZXKA4q7E38MhhvEQiyylS6aMn8+fP54Q9/yIsvvojL5WLGjBm89tprYLFAJUY1nA6Hud/E/JO0VquEXJOYJXqiUCgUCoUiNa4sx7egF4YRwJoUtwt0MZARmqZ5gKOA/zF3IERM07S30HuFpON2YJcQ4jFN007s4TG8gLV+YyFAOBwmHA5nOlXFQYo8xupYHxgIIbBqhmBXCI+r++sfZoQiEsWBvrAPheyf31gsxj333MOdd95JNBpl0KBBPP300xx99NFEo1FbhKSrK0zYCVHD8yViUaRcCIUjhMPheLWqaDT1e8eYUySi3x6JGPsSMfVe24+oz/fhhTrehxfqOB+aZCs8TkGPdrwDfBlottwWAjYKIbZlsb9y9J4gOxO27wRGprqDpmlTgGuA8Rk+xk9JIYZmz56N3+/PfKaKg5o333zzi56CAtlwL37aefW1WXic3d8nFHICGnPef49gp/73Bx/OY+en+u3Nzc384Q9/YPny5QCceOKJfPe736WhoYFXX30VgC5jHwBvvPkmBW7Y3aJv+3jRIpoaNcDB0mXL8G5fSjBoPM4Hc6hPcZrYuNEBOFizdh2vhj9ny1b9/9WrPuPV1pW5vjyKHFGf78MLdbwPDzo6Or7oKSj2AVkJDyHEewCapg0CNolMDNq9iJHQ/hTwbaNreib8D3oOiaQQ2HLKKadQVlbW21NUHGCEw2HefPNNzjjjDNxud893UOxTQpEYzH/L/P/Ms87E7+n+NDR90VsQi3HqqVP5x7Yl7OwMcPTkyRw3uIxZs2Yxffp0Ghoa8Pv93HvvvVRXV3PmmWfajvdti9+GaBSAU087jfICL39e/yEE2pk8+RhWz9/IZy2NjB4zhnOP6scdS2dDJMzUk05iaGVB0pyWz1rNe9s3MnDQIM49ewSz9iyDpp2MPvJIzj12QK+8VoqeUZ/vwwt1vA8vmpqavugpKPYB2UY8JEcA/YG5oFelAr4NrARuEELsznA/jUAUqErYXgXsSDF+CDAQ+I8W91I7jDlEgBFCiHXWOwghuoAu+b+8n9vtVieuwwh1vA8MokRt/zucrh6Pi3RJeT0enEYyRjQq+MlPfsJ99+nXFMaNG8dzzz3HkCFDePXVV5OOtzWXRD6mUVwLr9uF0+hijubE7XabOR4eT+r3jculj9c0B263G2FEUzwup3qffQGoz/fhhTrehwfqGB+a5FrV6h6gCEDTtDHoEYVX0RsJ3tfN/WwIIULAYuA0uU3TNIfx/7wUd1kFjEG3WcmffwOzjb83Z/9UFArF/iKxGpUsrdsdMUtpW5nUfdMPf2iKju9973vMnz+fkSNTujP1x7UEZ+UcIpY+Hs6EpHWzgWBPnctVA0GFQqFQKDIm14jHIPToBui5Hv8RQtymadpEdAGSDfcBf9M0bRGwEPgBkA88AaBp2pPAViHET4UQQWCF9c6aprUACCFs2xUKxYFHYjWqTHp5WPtttOxuBlysXbuO0tJSnnjiCS688MIe92FtVmgmjhu/XZYyvSKp4lVmDQTNPh6qqpVCoVAoFGnJVXiEAJlyeTrwpPF3M0YkJFOEEP/QNK0C+BVQDSwFzhZCyITzAUAG10UVCsWBjkj4JGfSCFAOuemm77M+MgJv7UiOHDOWlx96mX79+mX0uPYSvslRCjOCkVBON52OSGogqCIeCoVCoVD0SK7CYy5wn6ZpHwDHAF81tg8HtmS7MyHEQ8BDaW6b2sN9r8r28RQKxRdDYoQj1kMjD+vNz//jH1Re8nMAfvmrX9GvX21Gj5lYwjfebVz/7dSShUfGDQRNERPfl0KhUCgUitTkmuNxIxABLgW+K4TYamw/B5jVGxNTKBSHHok5Ht1ZrYQQPPDgg+b/fWuqGTt2jH5bFqeuRG1jRjUsdqrEhoDRHqxT6axWjlzPqAqFQqFQHAbk9DUphNgkhDhfCDFOCPGYZfsPhRDf773pKRSKQ4lEa1WiEJE0NDRwwQUXcPMtt5rbPpg7h9KSEv1+WVTyTkpol83/zKT1eMQjJnTBI++ipUsuTyNU0nU6VygUCoVCkYXVStO0IiHEHvl3d2PlOIVCobCSKDxS6YfZs2dz5ZVXsn37dnz58VNNWWkpTkc9EO86nstjmsnlxnaX01LVKma3ZaW3WklrlnG/HqxZCoVCoVAosot47NY0rdL4uwXYneJHblcoFIokkqxWlv8jkQi/+MUvOO2009i+fTsjR47knXffNW+3WqKiWZSbSBfxiKaKeMSELZqSTkdIoSL3papaKRQKhULRM9kkl5+KXrUK4JR9MBeFQnGIkxiokIv8jRs3cuWVV/LBBx8AcM011/DAAw8Q0TzANkAXCGYuRg9J6bbHTEpol7/jUQppnYoKYRufrkpV3Jql+ngoFAqFQpEpGQsPIcR7qf5WKBSKTElV1eqll17immuuoaWlhaKiIh555BG++lW9UN7uQMgc67SWvc0ixyOd2LH2B3Facjys43tsIGjatrofr1AoFAqFIrscj7GZjhVCLM9tOgqF4lAm0fb0y1/dxTP/ew8AkydP5tlnn2XQoEHx8Qm2J2suRsaPmSbHI2KpRGWNpNgfM01Vq4Tkcmv0RKFQKBQKRWqysVotBQSgGb+7w5nzjBQKxSGLSBABz7/wTwCmT5/OXXfdhdvttt0uF/SapleYchn1arMSHmlyPOKdyx1mo8Bkq1XqfZpVrWRyeUxZrRQKhUKh6IlshMcgy98TgN8D9wDzjG3HAT8GbkWhUChSEEnwPZWVl/PkMw9zxhlnpBxvtUNBfGGfjfBIFDtScMTzMux9Oaz5I+mtVvb5mZ3Lle5QKBQKhSIt2eR4bJR/a5r2AvB9IcSrliHLNU3bDNwF/Kv3pqhQKA4FWlpauPmW6dDvQnPb3599jlPGDU57H6kBpOXJqcnte2G1EsLWzdyp2RsIWkVNWqtVQgPBnhoOKhQKhUKhyL1z+RigPsX2emBU7tNRKBSHIvPmzWP8+PG89dbbtu3Fffp0e7/EjuC5RDySrFYx+zanQzMbBUZj9k7naataJTYQVFWtFAqFQqHokVyFx2fATzVN88gNxt8/NW5TKBQKotEov/nNbzjxxBPZuHEjtf36225PtEEl3T8hkuDspapWEWtUw6HZ+nJIMdFdoni8upZ8DJVcrlAoFApFT+QqPK4DzgK2aJr2lqZpbwFbjG3X9dbkFArFwcu2bds466yz+NnPfkY0GmXatGn87amnbGN6agQYz53QF/Quw2sVjeZutYolJJDby+kKS2PB9Ps0hUpivoiyWikUCoVCkZachIcQYiEwGPg5sNz4+f/t3XmcFOW1//HPmWGRRcWIBvUXNHGLid4BIRHURNz3G5ckKpJgblBQCaLmRjGbGuOSRMG4RRbZNzUuuERQL1tYFEXjnphEI2pAAyrIyDB0P78/uqu7urq6urpn6Vm+79eL19Dd1VUPlgx95pzznJ8CX0q/JiLt2OOPP05NTQ1PP/00Xbt2ZfLkycyYMYMuXbrmHFesZCoZKGEqa45HSHN5sNTKX8IVDHbCBAcIelkVZTxEREQKK2VXqxzOuc3A+EZci4i0cnV1dYwZM4axY8cC0KdPH+bMmcP+++8PFN7atpBE4AN9WZPLA8cmki53SKBvMGHSuVhBRP4AQTWXi4iIFFN24CEi4vfmm29y9tlns3r1agBGjRrFTTfdxHbbbZc5JhgvFAs8gtmHcjIeYaVWiWCplS/jEadsKjhAMBFoghcREZF8CjxEpMFmzJjBhRdeyKeffsrOO+/M5MmTOfXUU/OOCwYaxUqtgv0W2QAh/tqC10gEdrWqysl4xJvJ4T8+9VU9HiIiIsUo8BCRsm3atImRI0cybdo0AI444ghmzpzJHnvsEXp8qaVWwR2mOmQCj/iRR/AS/gbybAlX+jXfAMHoUivS6wjM8VCPh4iISEEqDBCRsqxevZp+/foxbdo0qqqquOaaa3j66acLBh0QMsyv6K5Wqa9VeZPL468zLNhJBAIafwlXg0qtlPEQEREpqKzAw8yuNbMjzWy74keLSFvinGPcuHEMGDCAN998ky984QssWrSIX/ziF1RXVxd9r1/x5vLc3onqwG5SceQHO76sRrB3xNd4HjUMMDhA0IttlPEQEREprNxSq4HAZUAHM1sFLAYWAcucc5810tpEpIX58MMP+cEPfsBjjz0GwGmnncakSZP43Oc+F+v9wUxFsd2pgrtFlTO5PGxXq/xSq9RX5+LtUFVluZkX7WolIiJSXLlzPI4FegBHA48D/YEHgI/N7M+NtzwRaSkWLlxITU0Njz32GJ07d+aOO+7ggQceiB10QEijd+yMR+7k8m0lBB7BazrnH/hHzvn9QUnkAEEv8xLo8dCuViIiIoU1ZI7HNmCZmX0IbAA2AacBX26ktYlIC7Bt2zauvvpqrr/+epxzHHDAAcyZM4f/+q//Kvlcpe5qVWhyeUlzPAKHJkKayzPN4r6p5tGlVtnj/etUqZWIiEhhZQUeZnYBMAg4AugMLCVVanUdqSnmItIG/Otf/2Lw4MEsX74cgGHDhjFu3Di6detW1vmCgUexVo3MML8GzPEIC3bySq18GYw4QURwcnkiqVIrERGRYsrNePwB+BC4GbjTOfdp4y1JRFqCP/7xjwwbNoyPP/6YHXbYgfHjx3PWWWc16Jz5MzWKlFoFsg/+bW/LvWbYdrr+ZvHgTlph/BPUne89psBDRESkoHIrks8AZgJnAx+a2XIzu97MjjOzro23PBFpbp999hkjRozg29/+Nh9//DGHHHIIL774YoODDgjJPsSeXE76a8Mnlyf8WQ3LzXgkXP7QwjD+dfjjGpVaiYiIFFZWxsM59xDwEICZ7Qh8A/gO8CiQBLTNrkgr9Oqrr3LWWWfx6quvYmZcccUVXHvttXTs2LFRzl/yrlaBzIQ3QLCU5vL8LXzzm9arQgYIRmU8vPgiGZiCrlIrERGRwspuLjeznUn1eAxK//oq8BGpfg8RaUWcc4wfP57Ro0ezZcsWevXqxbRp0zj22GMb9TrBjEex+CE4mM9f4hRXWLCT31yeX2oVlb2ozinNyq5Fu1qJiIgUVm5z+cvAAaQCjSXABGCxc06N5SKtzEcffcQFF1zA/fffD8AJJ5zA1KlT2XXXXRv9WnkzNYqWWqW+BnsxSpnjEbaFb7AZvNq/nW6MyeU5Awd9fwaVWomIiBTWkObyxc65VxpzMSLSvJYvX84555zDO++8Q8eOHbnhhhu49NJLqWqiH90HA424AwS9z/PlTC4P3dXKRWQ8YszkyB6fG9hEBSsiIiLtXbk9HncAmFkn4IvAP9JzPUSkFUgkEtx444388pe/JJFIsPfeezNnzhz69+/fpNcNmyIeJVhq1RgZD+dcdpveQOAR1ngeJqfUKpn/vIiIiOQr68eaZtbFzCYBtcCrQO/087eZ2ZWNuD4RaWTvv/8+xx57LD/72c9IJBIMHjyY1atXN3nQAfk9HcUyF8GZGuU0l+dnPMgrp8oGEvmN52G8bX392RP/+URERCRfufUUNwI1pJrKt/iefwpo+J6bItIkHnvsMWpqali4cCHdunVjypQpzJgxgx122KFZrh82UyNKcHK5P9MQV9gWvol0mqI6OB/EP7k8IogwX2lWbqlV7GWJiIi0O+X2eJwGnOWcW2lm/n/VXwX2bviyRKQx1dXVMWbMGMaOHQtAnz59mDNnDvvvv3+zriMs+xDFe70qpCQqrvBdrXLPazmlVqnXIkutQiadV5kGCIqIiEQpN/DYBfgg5PluQPxPBCLS5N58803OPvtsVq9eDcCoUaP4zW9+Q+fOnZt9LSVnPDK7T6UeZ7fTjX/NsJ20vHV4pVvVvsAjEaO5PLMLVsgUdBEREQlXbqnVc8DJvsfev+zDgBUNWpGINJrp06dz8MEHs3r1anbeeWfmzZvHrbfeWpGgA8KniEcJlj01xuRyfzlVcDtd5/KvGabK1xMS53gREREpP+NxFfAnM/tK+hyXpH9/KKmhgiJSQZs2beLiiy9m+vTpABxxxBHMnDmTPfbYo6LrCsYLxTIemSbwRmwuT4ZkNfwBTbChPUx2cnn+DlkiIiISrqyMh3Puz0AfUkHHy8BxpEqvBjrnnm+85YlIqZ5//nkOPvhgpk+fTlVVFddeey1PP/10xYMOCCm1KpbxKDDor5TJ5flb+ObvluUPJDL9HzF6PBLONxNEGQ8REZFI5WY8cM79Azi/EdciIg3gnGPcuHFcccUV1NfX84UvfIFZs2Zx+OGHV3ppGWFTxKM0xeTypHNsS4TvlpXwDxCMiCOqfKVZcbbfFRERkQYEHiLScnz44Yecd955PP744wCcfvrpTJw4kc997nMVXlmu0ne1Sh3vJRPKmVyeCCnvyptc7h8IGKvUKvvatnStleIOERGRaCUFHmaWpPiuVc45p4BGpJn83//9H0OGDOHf//43nTt3ZuzYsYwYMaJFbu0aDBhciQMEvZ6MUno8gtdIJLNZjeCuVsmQ4YJh/GVV9du0q5WIiEgcpQYIp0e8NhAYRfk7ZYlICerr67n66qu54YYbcM5xwAEHMHfuXA466KBKL62gYIYj7q5W3gf9DunIo5Qej7BSq2Bw4Z8Pki21itrVKvv7rQkv46HAQ0REJEpJgYdz7uHgc2a2P6lJ5qcCM4FfNM7SRKSQt99+m8GDB7NiRWr36vPPP59x48bRtWvXCq8sWtgU8SheoGKZXox474u6hj+4CGZSUrtakfNamJxSq0TuFHQREREJV3Z2wsx2N7MJpHa16gD0cc4Ndc79q9FWJyJ57r//fvr06cOKFSvYcccdmTt3LuPHj2/xQQeUsatVptQq9bicyeVhu1ptCzSEZ+d4uFjN4v4gY1uMDImIiIiUEXiY2Y5mdhPwd+CrwNHOuVOdc680+upEJKO2tpbhw4fzne98h08++YQBAwbw4osv8t3vfrfSS4stb6ZGkfghOBW8nO10g+Vd/uCiOqzUKlOGVfic/iBjqzIeIiIisZQUeJjZT4B/AqcA5zjnDnXOLW2SlYlIxiuvvMLXv/51xo8fj5kxZswYlixZwl577VXppZUkL/sQs7ncAtveNmSAoH9IYIeqwoFH1FwOf4zhbc2rwENERCRaqc3lNwKfkcp2DDWzoWEHOefOaOjCRCT10/m7776bSy+9lC1bttCrVy9mzJjB0UcfXemllcW/ja2/16KQggMES+jxyN/C1zckMK/UirzXwviDjPqEttMVERGJo9TAYxrFt9MVkUbw0Ucfcf755/PHP/4RgBNPPJEpU6aw6667Vnhl5fM+1HestnQAUKS5PLCdbnUZPR7+ci0voxHMavgnkccptTIzzFKBSr12tRIREYml1F2tzmuidYiIz7Jlyxg8eDDvvPMOHTt25MYbb2T06NFUVbXu3aq9mRodq6vYUp8s2uPhve59pi9rcnnmml6WJVse5Z3PO3/YjleFVJmRcI56lVqJiIjE0ro/xYi0MYlEgl//+tccccQRvPPOO+y9994sX76cyy67rNUHHZANGDqmt6kqVjKVV2qVmVwe/5reJbxrJnIml5P+mi3hijNA0L8WZTxERETi0YRxkRbi/fffZ8iQISxcuBCAc889lzvvvJMddtihwitrPIlAU3fRUqsCu1ptSyYLvqfQOTpVZ4cPFu4dyQY1xQKJqiogoTkeIiIicbX+H6GKtAGPPfYYNTU1LFy4kG7dujFlyhSmT5/epoIOyGYw/NmHyOO9ICBvO9341/QCjw7V2T6ObMYjtY6wyeVxSq2ATKlVVDO6iIiIKPAQqai6ujouvfRSTjnlFP7zn//Qt29fVq9ezdChQzNbyLYlXiDRqUPqW4+LuZ2u95neCwZKmVye3To3HezkBBfknB+yW/UW+88fLLWqbnu3S0REpFGp1EqkQv72t79x9tln88ILLwBwySWXcNNNN9G5c+cKr6zplF1qFTLoL/Y1vVKrTLBTeHI5+AOJYqVWgcBDGQ8REZFICjxEKmDatGlcdNFFbN68mZ133pkpU6ZwyimnVHpZTS6ZKXvysg9FjneFA4Rk0sUqb/JilI7V2aAlL6DxnSduz4b3cqbUqg1mqERERBqTAg+RZrRp0yYuuugiZsyYAcCgQYOYMWMGe+yxR4VX1jyyjd7xBgEmAztM+YOBbUlHpziBRzJQauWf4xGYDwJQnym1KrKrVSDjocBDREQkmno8RJrJ888/z8EHH8yMGTOorq7mV7/6FU899VS7CTrAn32It51uoV2t4rw3cw7fHA9IBSLB8/qDhvptXsYj+rxVwR4PlVqJiIhEUsZDpIklk0nGjRvHlVdeSX19Pb1792bWrFkcdthhlV5as0v6BghCnB6P1Ncqy89MxO3zCO6kFTa53D8iZVugDKsQ7WolIiJSGgUeIk3ogw8+4LzzzuNPf/oTAGeccQYTJ05kp512qvDKKiO4tW2xrIUL7GrlDxDi7myVF+y4/Mnl/iBjazraiVtq5c0U0a5WIiIi0VRqJdJEnn76aWpqavjTn/7Edtttx1133cX999/fboMOKCPjEdGLkUjELbVKfe3YITtAMO+85TSXp7971m+LN/dDRESkvVPgIdLI6uvrueqqqzj22GNZu3YtX/nKV1i1ahUjRoxok7M5SpEM9lsUiR28wCSsuTx2xsMrtfJt4RucXO6/L142JP4AQTWXi4iIxKFSK5FG9Pbbb3POOeewcuVKAC644ALGjh1L165dK7yyliER7LcoEnl4sYUXBJgZVZYKWIq9N3hNf3lXInBe7/eJpPOVWkWfNzNAMOakcxERkfZOGQ+RRnLffffRp08fVq5cyY477si9997L3XffraDDJ90O4eu3iLerlf8zfanTyxOB8q6k808u9wUe6UAik/GIO0AwvQuWmstFRESiKeMh0kC1tbWMHj2aCRMmADBw4EBmzZrFXnvtVdmFtUDByeXFshaJwABB8EqaXOxdrbwG9U6+vpJMQOM7rxdnZJrFYw8QVKmViIhIHMp4iDTAK6+8wte+9jUmTJiAmXHVVVexePFiBR0FZEqtOsTLeDiXn32o9vVqlHLNDr6+krAtc73zbk3EGyBYFSy1UtwhIiISSRkPkTI457j77ru59NJL2bJlC7169WLGjBkcffTRlV5aixbMPnilV4UEm8uhjMAjfVgHX8YjO7k8e1y21Cre9rjVKrUSEREpiQIPkRJ99NFHDBs2jAze4K4AACAASURBVAceeACAE088kSlTprDrrrtWeGUtX16pVbEej/TLVVX5gUfcyeVeOVcnX49HWEDjXaPUXa2yczwUeIiIiERRqZVICZYtW0afPn144IEH6NixIzfffDOPPvqogo6YvEnkHWLO8XARmYlEkWyJJ28LX1/Go0O1v3ck9bU+5gDBTHN5zEBFRESkvVPgIRJDIpHguuuu44gjjuCdd95hn332YcWKFVx22WVUVemvUVzZ7EO8namiMhOl9nj4d9KKKuGqj9lcXh0IVFRqJSIiEk2lViJFvPfeewwZMoRFixYBMGTIEO6880623377yi6sFQpOLi9WLRUWIHQoMfDIZje8LIuvuTxvtyzfJPK4zeUJlVqJiIjEoR/VikR49NFHqampYdGiRXTr1o2pU6cyffp0BR1lSuQFAdHBQ7YJPD9AiD3HIzC5PGeOR0jGw+vZKBZHlNoTIiIi0t4p8BAJUVdXx+jRozn11FNZv349ffv2ZfXq1Xz/+9+v9NJatWQyt9+ieOCR+ho6QLDEXa28LXxTk8sLzQeJ37PhBS1xJ52LiIi0dwo8RAL+9re/MXDgQG699VYARo8ezYoVK9hvv/0qvLLWL2yKeOTxEb0YcXe1coFrJpLZjEcHf+CR/m6YKZ0qtqtV+vi4k85FRETaO/V4iKQ555g2bRoXX3wxmzdvpmfPnkyZMoWTTz650ktrM7y5HXEDj/BSq9TX0pvLs7tahWU8snM8ShsgGHfSuYiISHunwEME2LRpExdeeCEzZ84E4Mgjj2TGjBnsvvvuFV5Z2xLcxrbYlrjJkAChQ1W8/hBPZnJ5VXZXq7AshXeNrTGbxTOTzjVAUEREJBaVWkm799xzz9G3b19mzpxJdXU11113HU8++aSCjiaQl30oWmqV+tqQ7XTz5ni46KZ1T3WR7455PSEqtRIREYmkjIe0W8lkkrFjxzJmzBjq6+vp3bs3s2fP5tBDD6300tqs4Ha6RZvLQ3efSn2Nu6uVd4lOXnN5ssAcj0DgUGqplTIeIiIi0RR4SLv0wQcfMHToUJ544gkAzjzzTCZMmMBOO+1U4ZW1bV4QUGqPR1XI5PJk3IxHyABB7605k8sDgUPxUqvUV2U8RERE4lGplbQ7Tz31FDU1NTzxxBNst912/OEPf+C+++5T0NEMwhq9I493+ZmJzPyM2Nvp5u5g5ZwvSxGSScleJ/q8wdIsJTxERESitYjAw8wuNrO3zWyLmT1jZl+POPZ8M1tqZh+lfz0VdbyIp76+njFjxnDcccexdu1avvKVr7Bq1SqGDx9etKxGGkcypNE7zvHVOc3lpWU8EoGMB/imk0f0eAQfBwUzJCq1EhERiVbxwMPMzgJuAa4BDgb+Asw3s10LvGUQMBs4EhgIrAEWmNkeTb9aaa3efvttvvnNb3LjjTfinGP48OGsWrWKAw88sNJLa1fy5ngU3dUq9TUn41Hi5PJgqRX4ZnWEnNcTd4Bg3ONFRETau4oHHsBlwATn3GTn3GvACKAW+J+wg51z5zrn7nTOveicewMYRurPcXSzrVhalWXLlvG1r32NlStXsuOOO3Lffffxhz/8ga5du1Z6ae2O17PRqUPcXa28Uqvsc6VOLs/2lWRP4gUeOb0jwQxGzO10M4+VNRMREYlU0eZyM+sE9ANu8J5zziXN7ClS2Yw4ugIdgQ0FrtEZ6Ox7antIld3U19eXs2xpJWpra7n00kuZPHkyAAMGDGDatGnstddeuvcVkgkW0qmOhHOR9yKRPs4lE5njvI/39fXb8t7rPfY/753DXDa94gUeLuE/b24g479mKJebrnEuqf+vmlnY/Za2S/e7fdF9bpsqvatVT6AaWBd4fh3w5ZjnuAl4H3iqwOtjgF8Gn1y4cKF+4t2Gvf3229x8882sWbMGM+PMM8/k7LPP5rXXXuO1116r9PLarUSiGjBWrlgGdMA5eOyxxymULKj9LHX8iuXLWNMt9dyG9VVAFatf/Asd338x9H1PPvlk5vefbUmd45mVy/G+5dVtSwDGsj8v5R/pbwMff5Q6zvPsMytZ/3rhP8v776XW4fnr66/x+MevFn6DNBn//Za2T/e7faitra30EqQJVDrwaBAzuxI4GxjknNtS4LAbSPWQeLYH3j3yyCPZeeedm3qJ0sycc4wfP54rr7ySLVu20KtXLy666CIuv/xyOnbsWOnltXuXrFgAwJFHfJPfvrQcgONPOIEOBab1/erlRVC/lW9+4xt8udf2ADy0YTWvf/wfDjzoIE7q9/9yjq+vr+fJJ5/k2GOPzdzvX764ELbVM+ib3+Dml1cAkHSpAOPIQUfwxZ6piGbOuuf4+8Zs4vTQgQPpt2fhnc6WPfQqz3z4XubxQQd+lZMO6R37v4U0XNj9lrZL97t9Wb9+faWXIE2g0oHHf4AE8PnA858H1ka90cx+DFwJHOOce6nQcc65OqDO9z4AOnbsqG9cbcyGDRsYNmwYDz74IAAnnXQSEyZMYNWqVbrfLYDz9XN07dwp8/vqDh3p2CE88MgM//Pdvw7V1aknrbrgPfXfb68JvYvvmp7OnfznzV1Dp07R/89Ue+vIXLOD/h+rEP39bl90v9sH3eO2qaLN5c65rcDz+BrDzcxrFF9R6H1m9hPg58AJzrnnmnqd0vL9+c9/pk+fPjz44IN07NiRW265hUcffZRddtml0kuTNH8zuH9wX1SDeSKznW72ueoSd7XyDusQsuuUv4E8uKVy3AGCYecSERGRfJXOeECqDGqqmT0HPAuMBroBkwHMbBrwnnNuTPrxFcC1wGDgbTPrlT7Pp865T5t78VJZiUSC66+/nquvvppkMsk+++zDnDlz6NevX6WXJgH+QMG/tW3U7lTJkAGC1WXO8aiuMqqrLOd6/p2pqgNxQ9FdrUoMVERERNq7igcezrm5ZrYLqWCiF/AiqUyG13DeG/BvH3Mh0Am4P3Cqa4Crm3a10pK89957DBkyhEWLFgHwve99jzvuuIPtt9++sguTUP6ZHTmBR0TmIpksHHiUOrncLLUtb8L3mj8LkredbpF8cDBDogGCIiIi0SoeeAA4524Hbi/w2qDA472aYUnSwj3yyCP84Ac/YP369XTr1o277rqL733ve5VelkRI5mQ8sh/SXcQQQS9oqA4JEOJmPPzTz1MBTPZ9VRGTy4sOEAzO8WgJU5FERERaMP1TKa1KXV0dl1xyCf/93//N+vXrOfjgg3nhhRcUdLQCBUutojIe3uTykAAh9uRyL3gxixz6Fww8Sh0gqB4PERGRaAo8pNX461//yoABA/j9738PwKWXXsry5cvZd999K7wyiSNZoLcisscjdHJ58fd5nHM5wUuwD6MqqtSqSCARfLlYhkRERKS9axGlViJRnHNMnTqVkSNHsnnzZnr27MnUqVM56aSTKr00KUFOU7cZVZbKaETuauXLVmTeW0Kplf+QKrPIYCHYo1G01ErN5SIiIiVR4CEt2saNG7nwwguZNWsWAEcddRTTp09n9913r/DKpFQ5QUB6h6lkwhUMPJxzma1wwzITcZrLg8FOVKlV/q5W0efOb0ZX4CEiIhJFpVbSYq1atYqDDz6YWbNmUV1dza9//WsWLFigoKOVSgYaxTO9GgUCCP/TuQGC5ZwvzjUhtUtVfkN4+T0eebtaKeMhIiISSRkPaXGSySS33HILY8aMYdu2bfTu3ZvZs2dz6KGHVnpp0gCJQL+G90E9WWBXK39A4v9Q72UW4vR4+AOP7K5W5DwXPG/Ya2HySq30YxwREZFICjykRfnggw8YOnQoTzzxBABnnnkmEyZMYKeddqrwyqShEoGZHN4H+0K7UwWzFZ5SJpcHg5f8BvL88/qPj6LJ5SIiIqXRz+ikxXjqqaeoqanhiSeeYLvttuPuu+/mvvvuU9DRRuSXWqWeL1xqVWDCuBewJGJkPHzZlCrLzXhUWW65VDDjUeoAQe1qJSIiEk2Bh1RcfX09Y8aM4bjjjmPt2rV89atfZdWqVVxwwQV5H+6k9fLii+pAxsMVyFwUKrUqlinJOUew1MqfOYnIfvjXWUhUo7qIiIjkU6mVVNRbb73F4MGDWblyJQDDhw/nlltuoWvXrhVemTS2TKlVVcxSq0C2wlPadrr+4CV8W95Cj4uWWkXMBBEREZF8CjykYu69917OP/98Nm7cSI8ePZg4cSJnnnlmpZclTcQLArzP51Z0V6vwUqtSJpf7BxCaWe62vEV6OooFEhogKCIiUhoFHtLsamtrueSSS5g4cSIAhx56KLNmzWLPPfes8MqkKXkBhvcBvbrYrlaBbIUnkykp8L6wc3hBRdjuWNlrlLirVYkZEhERkfZOPR7SrF566SX69+/PxIkTMTN++tOfsnjxYgUd7UDShe9qVWgeh5etsEATeDbwKB555JV3RZZa5b635AGCijtEREQiKeMhzcI5x1133cVll11GXV0du+22GzNmzOCoo46q9NKkmXhxQmZXq/QH/cLb6aaPL5CJiJPxyFzTy3hElVqVmMHQrlYiIiKlUeAhTW7Dhg0MGzaMBx98EICTTz6ZyZMns8suu1R4ZdKcCpU9FWoSDx7vKWdyeaa8K2JXq5LneGhyuYiISElUaiVNaunSpfTp04cHH3yQjh07MnbsWB555BEFHe1Qtuwp9bi6WHN54HhPKZPLE4GG9qhSq9J7PIKPFXiIiIhEUeAhTSKRSHDttdcyaNAg1qxZw7777svKlSsZPXq0ZnO0U968jmDZU6H4IdOMnpfxSL9eyq5W6WvlDAwsWmoVfW6VWomIiJRGpVbS6N59912GDBnC4sWLAfj+97/P7bffzvbbb1/hlUklFWr0Lthc7nKP91SnUw1xJpcnAsFO2AT0zGNfIBFsaA+jUisREZHSKOMhjWrevHnU1NSwePFiunfvzvTp05k6daqCDsnr2fA+pxeb41GoxyNexiP1tdRdreJMIS82gFBERERyKfCQRrFlyxZGjRrFt771LTZs2EC/fv1YvXo1Q4YMqfTSpIUI7jBVbHJ5IrALlscLEEqZXJ4t78q+FowTcsqwYgQReQMElfEQERGJpMBDGuyvf/0rAwcO5LbbbgPgsssuY/ny5ey7774VXpm0JMHSKS+gcMVKrQqUNMXJeCSSuc3l/nN1CHSt505HL3rqvIBIcYeIiEg09XhI2ZxzTJkyhZEjR1JbW0vPnj2ZOnUqJ510UqWXJi1Qpt8i/Xk/E0AUmlweCBo81eXsahUIdvzPZc7rL8OKU2ql5nIREZGSKPCQsmzcuJELL7yQWbNmAXDUUUcxffp0dt999wqvTFqqzA5TmTkeqeeL9XgU6qWIE3h418wMLczp8cg9tioiKAmjXa1ERERKo1IrKdmqVavo27cvs2bNorq6muuvv54FCxYo6JBIiUDg4X1QL7yrFTnHe0oKPALTz3N2tcor4fL/vvTmcu1qJSIiEk0ZD4ktmUxyyy23MGbMGLZt28aee+7JrFmzOPTQQyu9NGkFMkFAIPtQKPAIDhz0lDK5PLiFb1VEA3nUVrthNEBQRESkNAo8JJZ169YxdOhQ5s+fD8C3v/1tJkyYQI8ePSq8MmktgjtMFctcBI/3lDK5POmCzeXZ1zpEZCziZC/ySq2U8RAREYmkUisp6sknn6Smpob58+ez3Xbbcffdd3Pvvfcq6JCSeIGCZYKAIqVWgWyFJzPHI05zeYHyLv9zmfOWuqtVXkBU/D0iIiLtmf6plILq6+u58sorOe6441i3bh0HHnggzz33HBdccEHRqc4iQcFm8WzmIvz44NRxT3V1CQMEC1zT/5zH/zBeqZWay0VEREqhUisJ9dZbb3HOOefwzDPPADBixAhuueUWunTpUuGVSWsVDALS8UNExiP1teDk8gIBS/Q1owKPUkutch+ruVxERCSaAg/JM3fuXC644AI2btxIjx49mDhxImeeeWallyWtXCIQSGR2tSpQMhWcweEp9r6wa3oZuqidq3JnfBQ9dciuWAo8REREoijwkIzNmzdzySWXMGnSJAAOO+wwZs6cyZ577lnhlUlbkAwMBPSCgUIlU8nAwEFPOZPLvexKdKlViQMEVWolIiJSEvV4CAAvvfQS/fv3Z9KkSZgZP/vZz1i0aJGCDmk0iQJlT4UyF8GBg57S5niUUGrVwAGCijtERESiKePRzjnnuPPOO7n88supq6tj9913Z8aMGRx55JGVXpq0MdmtbYMDBMOPD+5I5Skn8Ajb1Sqvab3EHo/gLljacEFERCSaAo92bMOGDfzwhz/koYceAuCUU05h8uTJ9OzZs8Irk7bIy2Dk72oVPbm8UElTKdvpxtnVyl/SFavUKiJ7IiIiIvlUatVOLV26lJqaGh566CE6derEuHHjmDdvnoIOaTLBDIb3Wb3grlaB4X+eUiaXBzMeOc3lgRP7MxZxSq38DehqLBcRESlOgUc7k0gkuOaaaxg0aBDvvvsu++67LytWrOCSSy5RqYg0qUQ6TqgK9FsUylwUKrXyPvDHy3iEXzP1+9xjc0utip46txldGQ8REZGiVGrVjrz77ruce+65LFmyBIChQ4dy++2307179wqvTNqDZIEdporvatWAHo/IXa1yf+5SHVGGFSZqCrqIiIjkU8ajnZg3bx41NTUsWbKE7t27M336dKZMmaKgQ5pNMjCXw8swFKqYCpZJeToUCVjCzhG+q1Xusf6gJE72r6rEDImIiEh7p8CjjduyZQujRo3iW9/6Fhs2bKBfv3688MILDBkypNJLk3YmEey3KFIyFSyT8lQVKdEKu2ZmgGDkHI/s74NlWGFyjlfkISIiUpQCjzbsjTfeYMCAAdx2220AXH755Sxfvpx99tmnwiuT9ihb9uQ1ehfZ1SpQJuUpZXJ5oWsGf+8/xn+NKKWWZomIiLR36vFog5xzTJkyhZEjR1JbW8suu+zC1KlTOfHEEyu9NGnH8hq9M3M8SuvxKGtyeeaa2deiBgiWXmqlwENERKQYBR5tzMaNGxkxYgSzZ88G4Oijj2b69OnstttuFV6ZtHfZQCL1uKrItrjBMilPh+pSBgimrxVjcnnUcMEwUWVbIiIikk+lVm3Is88+S9++fZk9ezbV1dVcf/31LFiwQEGHtAj5MzW8AKLA8YEyKU+xbXjDrhm6q1Vwm94SezZKnXQuIiLS3inj0QYkk0luvvlmrrrqKrZt28aee+7J7NmzGThwYKWXJpIRnMvhZT4Kl1qRPi68JCrpUmWFUWVR+UMLo5rL/aVWkX+U9DrCfy8iIiLhFHi0cuvWrWPo0KHMnz8fgO985zuMHz+eHj16VHhlIrkSgZ6NzByPIgMEg0GAP9OQdNE7UCWCW/j6Z29ElVrFmVxuhbMnIiIikk8/p2vFFixYQE1NDfPnz6dLly6MHz+euXPnKuiQFskFMhjVRXo8CjaX+x5vSxao0/LOEbGrVX6pVWmBRE6plXo8REREilLg0QrV19dzxRVXcPzxx7Nu3ToOPPBAnnvuOc4///xYu/GIVEIwg5FpLi+0na4L7/Ho4PuQXyTuyG8uzymPiiq1KrG5XH/vREREilKpVSvzz3/+k3POOYdnn30WgAsvvJCbb76ZLl26VHhlItESwexDkQnkXtN5MAjwZ0CKbamb7fEg/TX73g6RpVaRp805Z/C9IiIiEk6BRysyZ84chg8fzsaNG+nRoweTJk3ijDPOqPSyRGIJlk5ld6cqdnzu8/7godjOVsFrRjWXR834CJPTL6KMh4iISFEKPFqBzZs3M2rUKO655x4ADjvsMGbNmkXv3r0rvDKR+ILb6Xof9F2hHo9keI9HdU6pVdyMR0hzeSBYsFJLrUqcdC4iItLeqcejhfvLX/5C//79ueeeezAzfv7zn7No0SIFHdLqeJmN2LtaBQIVj/8z/raiGY/wa6aeyz22usTm8io1l4uIiJREGY8WyjnHHXfcwY9//GPq6urYfffdmTlzJoMGDar00kTKkizQb1GoTyOZDA88zIzqKiORdAV3xMqco0B5V9h5S91ONzd7UvRwERGRdk+BRwu0fv16fvjDH/Lwww8DcMoppzB58mR69uxZ4ZWJlC9vpkaRXa2Ccz/8qs1I4Ir2eOTvpJV9Ldhc7s9axBog6G8uV4+HiIhIUSq1amGWLFlCnz59ePjhh+nUqRO33nor8+bNU9AhrV5we1z/BPLw41Nfwxq3vUnhcQOP4DUhbHJ59vdxAgkzywY0SnmIiIgUpcCjhUgkElxzzTUceeSRvPvuu+y3336sXLmSUaNGaTaHtAnBZnFv4njxUqv814oNH8ycI6rUKti0XkazuPceZTxERESKU6lVC7BmzRqGDBnCkiVLADjvvPO47bbb6N69e4VXJtJ4EukYwYIZj0KlVgV2tfK/t3hzeeFdrfIml+eUWsULJKqqDJJOu1qJiIjEoIxHhT388MP06dOHJUuW0L17d2bMmMHkyZMVdEibk8l4BJvLC04uTx8X8qG+Q5GgxePtpOVdyx9PRGc8Ik+bPYdKrURERGJT4FEhW7Zs4Uc/+hGnnXYaGzZsoH///rzwwguce+65lV6aSJPIK3sq2uMRUWpVZOp55hyZrEnu+yCkubzE7XT9x1Ur7hARESlKgUcFvPHGGwwYMIDbb78dgMsvv5xly5axzz77VHhlIk0nM8wvuKtVgeAh2BjuVyxbkjlHgZ20IKS53PfdsKRSq5BziYiISD71eDQj5xyTJ0/mRz/6EbW1teyyyy5MnTqVE088sdJLE2lywX4L77N94VKr3KDBL5MtSca7ZtiuVg2d4+E/hzaAEBERKU6BRzP55JNPGDFiBHPmzAHgmGOOYdq0aey2224VXplI8whmMLKlVtGBR1jGozrTXB4deeTvpBW1nW4Zu1qFnFdERETCqdSqGTz77LP07duXOXPmUF1dzQ033MD8+fMVdEi7EmwWLxZ4BEuz/Iq9N3OOvJ20sq8FMx7+x3HjiLDdskRERCScMh5NKJlM8rvf/Y6f/vSnbNu2jb322ovZs2czYMCASi9NpNllm8tTj2PvahWW8ci8t8g1C+yklVpHRKlV3B4P7WolIiISmwKPJrJ27VqGDh3KggULAPjud7/L3XffTY8ePSq8MpHKyGQwvOyD11xeIHgI7kjl533Qjz25PKQJPH9XK//vSy21inW4iIhIu6ZSqyawYMECampqWLBgAV26dGHChAnMmTNHQYe0a8HAwwsoCm2Jmwg0o/tVx9zVKtigHjW53MwyJVZxMxhVIU3rIiIiEk6BRyPaunUrP/nJTzj++OP54IMPOOigg3juuecYNmyYdr2Rds+LL7wsQSbjUazHI6K5vOgcj7ydtKLLqbJzOeJup1v4XCIiIpJLpVaN5J///CfnnHMOzz77LAAXXXQRv/vd7+jSpUuFVybSMgQzGNktccODh2Cg4lfsvZlrFthJC3IbzbPPGSRd6NDCMGHnFRERkXAKPBrB7NmzGT58OJs2bWKnnXZi0qRJnH766ZVelkiLks1gkP4anbUIHu8Xu8cjbyet7GtRGY/YpVZVmuMhIiISlwKPBti8eTM/+tGPmDx5MgCHH344M2fOpHfv3hVemUjLk93VKvfDfaGdqYJTx/28Zu5ipVauwE5aAB1COsK9S5U6QDCsAV5ERERy6Z/LMr344ov069ePyZMnY2b84he/YOHChQo6RAoIzuWotmKlVsUHCMbd1Sps3kZY70hVpv8k8rTZdZTYEyIiItKeKeNRIuccd9xxB5dffjlbt25ljz32YMaMGQwaNKjSSxNp0bwYIVvO5D3fgObyEgOPYtPJg43vxVRVlVaaJSIi0p4p8CjB+vXr+Z//+R/mzZsHwKmnnso999xDz549K7wykZYvWSAIKLydbuprQyaX55V3WXTGo9Rm8UxpljIeIiIiRanUKqbFixdTU1PDvHnz6NSpE7feeisPP/ywgg6RmLI9G6nHxXe1ihggGHOOR1SpVVhwYSGZkShhgwlFREQknAKPIrZt28bVV1/NUUcdxXvvvcd+++3HypUrGTVqlHayESlBMrC1bfxdrcovtcqUd4XtahWaSUl91QBBERGRxqdSqwhr1qzh3HPPZenSpQCcd9553HbbbXTv3r3CKxNpfYJlT9mMR/jxkYFHqZPL06ewYj0epQ4QVKmViIhIbMp4FPDwww9TU1PD0qVL2X777Zk5cyaTJ09W0CFSJi+zkS1nSj1fqE8jGKj4xZ1cXmgnreDvPSXvalXi8SIiIu2ZAo+ALVu2MHLkSE477TQ++ugj+vfvzwsvvMDgwYMrvTSRVs3LbAQbvQtlLbyno0qtGjK5PCygKbV0SqVWIiIi8Snw8Hn99dc55JBDuOOOOwD48Y9/zLJly9h7770rvDKR1q9QEFB8O9381+JOLneBHg9/gBC1W1b8UivN8RAREYlLPR6kds+55557GDVqFLW1tey6665MnTqVE044odJLE2kzkoV2tSoQO0SWWmUa06OvmdlJKyRACC21Sj9VFfNHMmEBjYiIiIRr94HHJ598wvDhw5k7dy4AxxxzDNOnT6dXr14VXplI25IMBAHeZ/XCpVa5/Rl+HTIZjwKd6d45AlkT/6kac4CgttMVEREprkWUWpnZxWb2tpltMbNnzOzrRY7/jpm9kT7+ZTM7qZzrPvPMM/Tt25e5c+fSoUMHbrzxRubPn6+gQ6QJZEqtAh/uC/VpJNIxRVgQkC21KnLN4ADBmD0ecQOJau1qJSIiElvFAw8zOwu4BbgGOBj4CzDfzHYtcPyhwGxgEtAXeAh4yMwOLOW6t956K4cffjhvvfUWe+21F0uXLuWKK66gKm6NhYiUpNAwv0I7UwXnfvh5zxWbXF7yrlYlDhBUc7mIiEh8LaHU6jJggnNuMoCZjQBOBv4HuDHk+EuAJ5xzv00//rmZHQuMBEbEvehvZz1Bxy99jSMPO4zhI0bwcdeuPPHKvxv0mwIxugAADONJREFUB5GWZ9u2BH9Zb1S/uo4OHaorvZx2bWs6PRHMeNQnkqF/9zZuqU8dFza5PH2ON9Zuynlv8H7Xbk2krhkSIISdt+xSK8UdIiIiRVU08DCzTkA/4AbvOedc0syeAgYWeNtAUhkSv/nAaQWu0Rno7Htqe4Cdj7uYqs5deQO4dPbq8v4A0nq8vKLSK5C0Tzd+xHrbwqebtpCsq6UOuGDSnwse/9nGT1i/PveTfWLLpyTrann42b/z8LN/z39T4H5v3vgx69cnqN26jWRdLQAbP/6IrR1zg1FXt5lkXS2fffoJ69d3LPpncXWpddTVbmT9+vVFj5fGVV9fT21tLevXr6djx+L3S1o33e/2ZcOGDZVegjQBc0VKFZr04ma7A+8BhzrnVvie/w1whHPukJD3bAWGOudm+567CPilc+7zIcdfDfyyCZYvIiIiIk3ri865tyu9CGkcLaHUqqndQG6GZHvgXeD/AZsqsiJpTrrf7Yvud/ui+92+6H63L979VuqjDal04PEfIAEEMxWfB9YWeM/aUo53ztUBdd5jy9Zub3LObSxxvdLK6H63L7rf7Yvud/ui+92+mHYLbJMquoWTc24r8DxwtPecmVWlHxcqyl/hPz7t2IjjRURERESkwiqd8YBUGdRUM3sOeBYYDXQDvF2upgHvOefGpI+/FVhsZpcDjwFnA/2BC5p74SIiIiIiEk/FAw/n3Fwz2wW4FugFvAic4Jxblz6kN5D0Hb/czAYD1wHXA28CpznnXol5yTpSM0Pqih0obYLud/ui+92+6H63L7rf7YvudxtU0V2tRERERESkfdCYbhERERERaXIKPEREREREpMkp8BARERERkSanwENERERERJpcmww8zOxiM3vbzLaY2TNm9vUix3/HzN5IH/+ymZ3UXGuVhivlfpvZ+Wa21Mw+Sv96qtj/H9KylPr32/e+s83MmdlDTb1GaTxlfD/vYWZ3mNm/zazOzP6m7+mtRxn3e7SZ/dXMPjOzNWY21sy2a671SvnM7Jtm9oiZvZ/+3nxajPcMMrPV6b/bfzez85phqdKI2lzgYWZnkZoNcg1wMPAXYL6Z7Vrg+EOB2cAkoC/wEPCQmR3YPCuWhij1fgODSN3vI4GBwBpggZnt0fSrlYYq435779sL+B2wtImXKI2ojO/nnYAngb2AbwP7A+cD7zXHeqVhyrjfg4Eb08cfAPwQOIvUVvvS8nUjdY8vjnOwmX2R1Py2hUAfYBww0cyOb7IVSqNrc9vpmtkzwCrn3Mj04ypSHy5vc87dGHL8XKCbc+4U33MrgRedcyOaadlSplLvd8j7q4GPgJHOuWlNulhpsHLud/oeLwHuAb4B9HDOFf3JmlReGd/PRwD/C3zZOVffrIuVBivjft8OHOCcO9r33M3AIc65w5tp2dIIzMwBpzvnCmakzewm4GTn3IG+5+aQ+p5+QjMsUxpBm8p4pH/a1Q94ynvOOZdMPx5Y4G0D/cenzY84XlqIMu93UFegI7Ch0RcojaoB9/sXwAfOuUlNu0JpTGXe7/8GVgB3mNk6M3vFzK5KB5/SgpV5v5cD/bxyLDP7EnAS8HjTrlYqRJ/X2oCKTy5vZD2BamBd4Pl1wJcLvKdXgeN7Ne7SpAmUc7+DbgLeJ/+bmbQ8Jd9vMzucVPlFn6ZdmjSBcv5+fwk4CphJ6gPoPsCdpH64cE3TLFMaScn32zk3y8x6An82MyP1meYPzjmVWrVNhT6v7WBmXZxzn1VgTVKiNpXxECmFmV0JnE0qvbul0uuRxmVm2wPTgfOdc/+p9HqkWVQBHwAXOOeed87NBX4NqGy2DTKzQcBVwEWkekLOAE42s59Xcl0iUlhby3j8B0gAnw88/3lgbYH3rC3xeGk5yrnfAJjZj4ErgWOccy81zfKkkZV6v/cm1WT8SOqHoUD6hy1mtg3Y3zn3jyZZqTSGcv5+/xuod84lfM+9DvQys07Oua2Nv0xpJOXc718B051zE9OPXzazbsB4M/t1ulRL2o5Cn9c2KtvRerSpjEf6H5XnAX+jWVX68YoCb1vhPz7t2IjjpYUo835jZj8Bfg6c4Jx7rqnXKY2jjPv9BnAQqTIr79c8sjuirGniJUsDlPn3exmwT/o4z37AvxV0tGxl3u+uQDC48IJOQ9oafV5rA9paxgNSW/FNNbPngGeB0aS2bJsMYGbTgPecc2PSx98KLDazy0lt03Y20B+4oLkXLmUp6X6b2RXAtcBg4G0z83p5PnXOfdrci5eSxb7f6fK5V/xvNrOPAZxzOc9Li1Xq9/O7gJHArWZ2G7AvqVKc3zf3wqUspd7vR4DLzOwF4BlSPT2/Ah4JZL2kBTKz7qTumeeLZtYH2OCce8fMbgD2cM59P/36H4CRZvYbUrsUHgV8Fzi5OdctDdPmAg/n3Fwz24XUh8tewIukfrLtNST1xvcTEufc8vRe4NeR2vv7TeA0fTBpHUq938CFQCfg/sCprgGubtrVSkOVcb+lFSvj+/ma9J7+Y4GXSM3vuJXUJhLSwpXx9/s6wKW/7gF8SCoY+WmzLVoaoj+pDLTnlvTXqcB5wG6k7jkAzrm3zOxkUn+/LwHeBYY55+Y3y2qlUbS5OR4iIiIiItLytKkeDxERERERaZkUeIiIiIiISJNT4CEiIiIiIk1OgYeIiIiIiDQ5BR4iIiIiItLkFHiIiIiIiEiTU+AhIiIiIiJNToGHiIiIiIg0OQUeIiKNxMzeNrPRRY5xZnZaieddZGbjSrmOiIhIS6PAQ0SkCDP7gpndY2bvm9lWM/uXmd1qZjtXaElfA8bHOVBBioiItBQKPEREIpjZl4DngH2Bc4B9gBHA0cAKM/tcc6/JOfehc662ua8rIiLSEAo8RESi3QFsBY5zzi12zr3jnPsTcAywB/DrQm80s33NbImZbTGz18zs2GIXM7NuZjbNzD41s3+b2eUhx2SyGJZytZm9Y2Z16azM79OvLQL2BMamS7xc+vmdzWy2mb1nZrVm9rKZnRO4xiIz+72Z/cbMNpjZWjO7OnBMDzO728zWpf+Mr5jZKb7XDzezpWb2mZmtSZ+vW7H/BiIi0jYp8BARKSCdzTgeuNM595n/NefcWmAmcJaZWch7q4AHSAUth5DKktwU47K/BY4AvgUcBwwCDo44/kzgUmA4qazMacDL6dfOAN4FfgHslv4FsB3wPHAycCCpsq3pZvb1wLmHApvT6/8J8AsveEr/+f4EHAYMAb4CXAkk0q/vDTwB/BH4L+As4HDg9hj/DUREpA3qUOkFiIi0YPsCBrxe4PXXgZ2AXYAPAq8dA3wZON459z6AmV1F6sN6KDPrDvwQGOKcezr93FBSwUMhvYG1wFPOuXrgHeBZAOfcBjNLAJvSgRLp598Dfuc7x21mdjzwXe+9aS85565J//5NMxtJqsTsyfSf7+vAAc65v6WP+afvvWOAmc65cb73jwIWm9mFzrktEX8mERFpg5TxEBEpLi+jEcMBwBov6EhbUeQ9ewOdgGe8J5xzG4C/RrznPqAL8E8zm2Bmp5tZ5A+VzKzazH6eLrHaYGafksrs9A4c+lLg8b+BXdO/7wO86ws6gmqA89IlY5+mrzGf1L87X4xan4iItE0KPERECvs74EgFEWEOAD4CPmy2FQU459YA+wMXAZ8BdwJLzKxjxNv+F7iEVOnXkaSCiPmkgh6/+uDlyP678RnRugN3p8/t/aohlUX6R5H3iohIG6TAQ0SkAOfcelJlRReZWRf/a2bWCzgXmOuccyFvfx34gpnt5ntuQJFL/oPUh/1DfNfZCdivyDo/c8494pwbRaonZCBwUPrlrUB14C2HAQ8752Y45/5CqkQq8hohXgL+n5kVet9q4CvOub+H/Npa4rVERKQNUOAhIhJtJNAZmG9m30zP9DiBVEDyHvDTAu97CvgbMNXMaszsG0TsgAXgnPsUmAT81syOMrMDgSlAstB7zOw8M/uhmR2Y3vp3CKlsxL/Sh7wNfNPM9jCznunn3gSONbNDzewAUpmJz0f/Z8hb62JgCfBHMzvWzL5oZiem/9tAKptyqJndbmZ90jt8fcvM1FwuItJOKfAQEYngnHsT6E8qK3AvqazEeGAhMDDdgxH2viRwOqn+i2eBiRQOUvz+F1gKPEIqePkzqR2oCvkYOB9YRioLcQxwajpbA6kdrfZKr9srCbuOVEZiPrCIVHP6QzHWFnQmsAqYDbwG/IZ0dsU59xKp3bn2S/95XgCuBd4PPZOIiLR5Fl4hICIiIiIi0niU8RARERERkSanwENERERERJqcAg8REREREWlyCjxERERERKTJKfAQEREREZEmp8BDRERERESanAIPERERERFpcgo8RERERESkySnwEBERERGRJqfAQ0REREREmpwCDxERERERaXL/H5g/zD/DRc5qAAAAAElFTkSuQmCC\n",
      "text/plain": [
       "<matplotlib.figure.Figure at 0x111d12250>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "plt.figure(figsize=(8, 6), dpi=100)\n",
    "plt.plot(x, x, 'k')\n",
    "for bits, x, distances in data:\n",
    "    plt.plot(x, distances, label=str(bits))\n",
    "x = [1.0*x/1000 for x in range(1000)]\n",
    "plt.plot(x, [0.5]*len(x), 'k:')\n",
    "plt.title('Kanerva\\'s Figure 7.3')\n",
    "plt.ylabel('New distance (after {} read)'.format(max_iter))\n",
    "plt.xlabel('Old distance')\n",
    "plt.legend(bbox_to_anchor=(1.05, 1), loc=2, borderaxespad=0.)\n",
    "plt.grid()\n",
    "plt.axis([0, 1, 0, 1]);"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "utils.calculate_radius(256)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "bs = sdmlib.Bitstring.init_random(256)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "bs.to_binary()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "len(_34)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "bs.to_hex()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "256/4"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "len(_36)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 2",
   "language": "python",
   "name": "python2"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 2
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython2",
   "version": "2.7.10"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}
